> Look at execute/20000603-1.c . There is a union of struct s1 and struct s2, > but nonoverlapping_component_refs_p still comes to the wrong conclusions. Again this is questionable. See PR 22534 for more details about the testcase. -- Pinski