g++ and aliasing bools

[Paolo Carlini]

Gabriel Dos Reis wrote:

>hey, isn't Mark who
>implemented the type-based analysis in g++? ;-)
>
I know that, Gaby.

And I already complimented him for his beautiful article in Dr Dobb's 
where he described the whole issue! (it never occurred to me before that 
C-type languages could be optimized better than fortran!)
 
... however, I learned a few months ago from some of Kenner's postings 
(and my personal experimentation) that right now the C++ alias analysis 
*actually* implemented in g++ is not so strong after all... :-(

Cheers,
Paolo.