dragonegg in FSF gcc?

[Paolo Bonzini]

On 04/11/2010 06:26 PM, Duncan Sands wrote:
> Hi Robert,
>
>> b) better behavior for undefined cases
>
> this is one of the problems with using LLVM with the Ada front-end.
> LLVM makes pretty aggressive deductions when it sees undefined
> behaviour

These do not seem to point at LLVM's optimizer bugs/aggressiveness, but 
rather at expressiveness of the IR.  GENERIC benefited from years of 
working on the Ada front-end, and though it was indeed a good deal of 
work to iron out all the bugs, it is likely that a different compiler 
infrastructure does not have all the nuances.

Paolo