------- Comment #5 from irving at cs dot stanford dot edu 2007-04-27 16:45 ------- Is there any chance of activity on this bug? It would be wonderful to have a warning for this case, since these bugs can be extremely annoying to find.
If the infrastructure supports it, the ideal way to resolve this might be to manually mark all fields of this uninitialized on entry to each constructor. If that's impossible because the dataflow is run only on top level variables, just checking for occurences of :a(a) would help a lot. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18016