>>>>> Paolo Carlini writes: >> Honestly, I cannot imagine why the bulk of the C aliasing analysis >> machinery could not be used for it!!!! Mark, You originally contributed c_get_alias_set(). Would you please provide us with a reference to the proof showing that it is safe for C? Thanks, David