mailing list of musl libc
 help / color / mirror / code / Atom feed
From: Rich Felker <dalias@aerifal.cx>
To: musl@lists.openwall.com
Subject: Re: cluts review
Date: Wed, 13 Jul 2011 15:52:59 -0400	[thread overview]
Message-ID: <20110713195259.GG16618@brightrain.aerifal.cx> (raw)
In-Reply-To: <20110713175201.GA25532@openwall.com>

On Wed, Jul 13, 2011 at 09:52:01PM +0400, Solar Designer wrote:
> I think you're confusing things.  Maybe Rich suggested that you use
> sigaction() instead of signal()?  That's fine, but it has nothing to do
> with the choice of setjmp() vs. sigsetjmp().

You should always use sigaction instead of signal because the latter
leaves too much implementation-defined to be useful. With that said,
let's just drop this bikeshed. sigsetjmp/siglongjmp are just as easy
to use and it's more certain that they'll work in the presence of
buggy implementations, so let's go with them.

> > This reminds me, the code is distinctly C99, and it tests SUSv4 
> > functions, so if you don't mind, for cluts, I'll use those two standards 
> 
> I am fine with limiting cluts to newer systems if Rich is fine with that.

I think it's reasonable for now, but at some point it might be worth
evaluating the level of dependency and reducing it if anyone wants to
test older libraries. I don't think there's any use in avoiding C99
features that are purely at the compiler level (like compound
literals) because any current or future compiler capable of being used
on unix-like systems will support these.

> > Oh, and I do believe I know aht "clobbered" means (overwriting the new 
> > value of the variable with the old one, from when the context was saved, 
> > right?).
> 
> Yes.  Do you know in what cases this happens, and how to prevent it?

Actually saying it's "clobbered" is an understatement. Breaking the
rules invokes undefined behavior, and in at least one real-world case,
gcc generated code that performed a memory read from something like
0x60 (absolute address) instead of 0x60(%esp). Don't ask me why;
that's UB. Proper code should not invoke UB.

Rich


  parent reply	other threads:[~2011-07-13 19:52 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-07-13 11:07 Solar Designer
2011-07-13 12:02 ` Luka Marčetić
2011-07-13 12:21   ` Solar Designer
2011-07-13 12:57     ` Luka Marčetić
2011-07-13 13:42       ` Rich Felker
2011-07-13 14:21         ` Solar Designer
2011-07-13 13:54       ` Solar Designer
2011-07-13 14:00         ` Rich Felker
2011-07-13 14:31           ` Solar Designer
2011-07-13 14:03     ` Rich Felker
2011-07-13 14:37       ` Solar Designer
2011-07-13 16:03   ` Solar Designer
2011-07-13 16:55     ` Luka Marčetić
2011-07-13 17:05       ` Solar Designer
2011-07-13 17:25         ` Luka Marčetić
2011-07-13 17:52           ` Solar Designer
2011-07-13 19:29             ` Luka Marčetić
2011-07-13 19:55               ` Rich Felker
2011-07-13 20:39               ` Solar Designer
2011-07-13 21:44                 ` Solar Designer
2011-07-13 19:52             ` Rich Felker [this message]
2011-07-13 20:03       ` Rich Felker
2011-07-14 18:56       ` Rich Felker
2011-07-13 13:38 ` Rich Felker
2011-07-13 14:12   ` Solar Designer
2011-07-13 14:26     ` Rich Felker
2011-07-13 14:46       ` Solar Designer
2011-07-13 16:25   ` Luka Marčetić
2011-07-13 17:03     ` Solar Designer

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20110713195259.GG16618@brightrain.aerifal.cx \
    --to=dalias@aerifal.cx \
    --cc=musl@lists.openwall.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/musl/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).