[llvm-commits] [pr12979][patch/rfc] Clear nsw/nuw in gvn

[Duncan Sands]

>> * Two loads from different languages: They cannot alias, so there is
>> no ancestor and we will simply drop the tbaa.

Hrm?  Sure they can alias!  I import C variables into Ada and read from
them/write to them all the time (this is not surprising when you realize
that Ada and other languages make use of functions and variables from the
C standard library, eg errno), and likewise export Ada variables to C which
access them directly.

Ciao, Duncan.