From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.1 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: a07f3367d7,c689b55786a9f2bd
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!news.unit0.net!eternal-september.org!.POSTED!not-for-mail
From: Warren <ve3wwg@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: for S'Image use Func??
Date: Tue, 11 May 2010 20:53:17 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <Xns9D75ABCB81BWarrensBlatherings@81.169.183.62>
References: <Xns9D7085FECB88EWarrensBlatherings@188.40.43.213>
 <op.vcaqajn0ule2fv@garhos> <Xns9D70A3756AAE0WarrensBlatherings@188.40.43.213>
 <wccmxwcu6kc.fsf@shell01.TheWorld.com> <op.vcaxs1h4ule2fv@garhos>
 <wcceihou455.fsf@shell01.TheWorld.com>
 <hs0jm5$vr4$1@news.eternal-september.org>
 <wcchbmjlx6a.fsf@shell01.TheWorld.com>
 <4be417b4$0$6992$9b4e6d93@newsspool4.arcor-online.net>
 <wccpr17yeji.fsf@shell01.TheWorld.com>
 <Xns9D747817630D6WarrensBlatherings@188.40.43.245>
 <zvtps4jzmo1z$.mzhapf4p7b4a.dlg@40tude.net>
 <Xns9D7482F0549D2WarrensBlatherings@188.40.43.245>
 <1qcb6z4i20dyb.1dz2hd4c0vx69.dlg@40tude.net>
 <Xns9D7496E77C7B0WarrensBlatherings@188.40.43.245>
 <h1uzhgbbx6hd.1lg6oydcub0re$.dlg@40tude.net>
 <Xns9D75851C8A20WarrensBlatherings@81.169.183.62> <op.vcj1wgldxmjfy8@garhos>
Injection-Date: Tue, 11 May 2010 20:53:17 +0000 (UTC)
Injection-Info: mx01.eternal-september.org;
 posting-host="9f8M0iN5t54V+4DF/iqO8g";
	logging-data="24081"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/FIU/14LR0ETv5oSOcO/2jNGGaEKJb1CM="
User-Agent: Xnews/5.04.25
X-Face: 
 &6@]C2>ZS=NM|HE-^zWuryN#Z/2_.s9E|G&~DRi|sav9{E}XQJb*\_>=a5"q]\%A;5}LKP][1mA{gZ,Q!j
Cancel-Lock: sha1:XKQm9pHvkI80qcZxXS1ex2HNIqc=
Xref: g2news2.google.com comp.lang.ada:11533
Date: 2010-05-11T20:53:17+00:00
List-Id: <comp.lang.ada>

=?iso-8859-15?Q?Yannick_Duch=EAne_=28Hibou57=29?= expounded in 
news:op.vcj1wgldxmjfy8@garhos:

> Le Tue, 11 May 2010 19:05:07 +0200, Warren <ve3wwg@gmail.com> a �crit:
>> As I pointed out earlier, those *printf() arguments are
>> checked, so it is not strictly untyped. You can lie to
>> it of course..

> Isn't it checked at the compiler option ?
> 
> Does ANSI or ISO C really requires this ?
> 
> If so, how is it formalized ?

It may only be GNU's compiler that checks this. You may
also need compiler options to trigger it (I almost always
turn all but the most troublesome checks as routine 
practice).

The Sun compiler might but I've never checked it.

Warren