Re: Re: Flat Short of MEMORY_BLOCK

Berend de Boer <[email protected]>
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

"Franck Arnaud" <[email protected]> writes:

>> You guarantee that every C compiler on every platform does exactly
>> what gcc -O2 does???
>
> The main point was to disprove the original 
> statement. It just takes one counterexample to 
> disprove a "A is always B" statement.
>
> Now, less pedantically, I assume that gcc is a good 
> proxy to guess the behaviour of modern C compilers. If 
> someone provides evidence to the contrary, then fine, 
> we can see how much it helps and then discuss whether 
> this optimisation, if it is one, is worth it.

I assume if SmartEiffel assumed that gcc was the backend and therefore
left some optimizations to the C compiler, it would be far less
optimal compiler.

Just assuming the C compiler will take care of an issue, isn't a safe
bet. That was the point you wanted to proof. Brian didn't want to
trust the C compiler.

- -- 
Live long and prosper,

Berend de Boer
(PGP public key: http://www.pobox.com/~berend/berend-public-key.txt)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.8 <http://mailcrypt.sourceforge.net/>

iD8DBQFAT1JFIyuuaiRyjTYRAo6EAJ4r4P7jyPu44U1WewP+LEvAbY31IwCgpBDr
lY/aTjs2DJPZTl3sE7gC/xg=
=dRoh
-----END PGP SIGNATURE-----



------------------------ Yahoo! Groups Sponsor ---------------------~-->
Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark
Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada.
http://www.c1tracking.com/l.asp?cid=5511
http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/saFolB/TM
---------------------------------------------------------------------~->

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected] 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
     http://groups.yahoo.com/group/gobo-eiffel/

<*> To unsubscribe from this group, send an email to:
     [email protected]

<*> Your use of Yahoo! Groups is subject to:
     http://docs.yahoo.com/info/terms/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.