mailing list of musl libc
 help / color / mirror / code / Atom feed
From: Vasily Kulikov <segoon@openwall.com>
To: musl@lists.openwall.com
Subject: musl as a framework to test applications' compatibility with POSIX (was: NULL)
Date: Mon, 14 Jan 2013 12:45:27 +0400	[thread overview]
Message-ID: <20130114084527.GA4055@cachalot> (raw)
In-Reply-To: <20130114061135.GM20323@brightrain.aerifal.cx>

Hi,

On Mon, Jan 14, 2013 at 01:11 -0500, Rich Felker wrote:
> In any case, this thread has gotten WAY off-topic, going all over the
> place into territory about the merits and demerits of different
> languages and anti-FSF politics. Those topics may be worth discussing
> in some contexts, but it seems to have left everybody really confused
> about the issues at hand, which are:
> 
> - whether we should work around broken programs that pass NULL to
>   variadic functions
> 
> - and if so, how
> 
> The emerging consensus seems to be using
> 
> #define NULL 0L
> 
> unconditionally in both C and C++ mode.

If such slick and unobvious places of C/POSIX/C++/gcc/etc. applications
are explicitly detected and handled, then probably it worth implementing
some checker in libc/toolchain which is detected (probably at runtime)
and warning is emitted at runtime/compile-time?  gcc'isms, UBs, etc.

In musl libc it can be implemented as -DI_WANT_TO_DETECT_GCCISMS.

Thanks,

-- 
Vasily Kulikov
http://www.openwall.com - bringing security into open computing environments


  reply	other threads:[~2013-01-14  8:45 UTC|newest]

Thread overview: 40+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-01-09 11:02 NULL John Spencer
2013-01-09 12:18 ` NULL Szabolcs Nagy
2013-01-09 13:36   ` NULL John Spencer
2013-01-12  6:32     ` NULL Rob Landley
2013-01-12  6:46       ` NULL Rich Felker
2013-01-12  7:15         ` NULL Luca Barbato
2013-01-12 13:33           ` NULL Rich Felker
2013-01-12 11:39       ` NULL Jens Staal
2013-01-09 13:09 ` NULL croco
2013-01-09 13:47   ` NULL John Spencer
2013-01-09 14:49     ` NULL croco
2013-01-09 14:42 ` NULL Luca Barbato
2013-01-09 14:47   ` NULL Rich Felker
2013-01-09 15:03     ` NULL Luca Barbato
2013-01-09 15:18     ` NULL John Spencer
2013-01-09 15:36       ` NULL Rich Felker
2013-01-09 21:11         ` NULL Rob
2013-01-09 21:53           ` NULL Szabolcs Nagy
2013-01-09 22:17             ` NULL Rob
2013-01-09 23:42         ` NULL Szabolcs Nagy
2013-01-12  6:56         ` NULL Rob Landley
2013-01-12  7:07           ` NULL Bobby Bingham
2013-01-12 13:31           ` NULL Rich Felker
2013-01-13 14:29             ` NULL Rob Landley
2013-01-13 14:56               ` NULL Luca Barbato
2013-01-13 16:29                 ` NULL Rob Landley
2013-01-13 17:14                   ` NULL Luca Barbato
2013-01-13 15:23               ` NULL Strake
2013-01-13 17:17                 ` NULL Luca Barbato
2013-01-13 17:47               ` NULL Szabolcs Nagy
2013-01-13 19:46                 ` NULL Rob Landley
2013-01-14  6:11                   ` NULL Rich Felker
2013-01-14  8:45                     ` Vasily Kulikov [this message]
2013-01-14 14:03                       ` musl as a framework to test applications' compatibility with POSIX (was: NULL) Rich Felker
2013-01-14 14:30                         ` Vasily Kulikov
2013-01-14 15:02                           ` Szabolcs Nagy
2013-01-14 15:14                           ` Rich Felker
2013-01-14 13:19                     ` NULL Rob Landley
2013-01-12  5:56 ` NULL Rob Landley
2013-01-12  6:42   ` NULL Rich Felker

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=20130114084527.GA4055@cachalot \
    --to=segoon@openwall.com \
    --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).