------- Comment #5 from rguenth at gcc dot gnu dot org 2008-05-09 14:26 ------- We don't properly mark all fields of the union as base_for_components. But the real problem is probably that field-sensitive PTA doesn't consider structs with unions but we still create SFTs for them. If we didn't do that the problem with base_for_components would be avoided as well.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36187