------- Additional Comments From sje at cup dot hp dot com 2004-11-05 22:51 ------- I still don't understand the bug but it seems to be related to the code inside the POINTERS_EXTEND_UNSIGNED ifdef in function.c. If I comment this out things compile, if I leave it in and put a call to verify_flow_info() before the return 1 in that if block then verify_flow_info will cause an abort. A call just before the if statement will not abort so this appears to be the code that is corrupting the cfg.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18294
