------- Comment #13 from steven at gcc dot gnu dot org 2007-04-03 16:40 ------- So this may be a non-monotonous dataflow problem...?
Do we have the dataflow equations of the var-tracking problem somewhere? It'd be interesting to check them against the actual implementation. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31412
