------- Comment #7 from jakub at gcc dot gnu dot org 2009-04-27 07:24 ------- Won't that disable the warning in the valid cases though?
int f2 (int R) { int i, inter[3]; for (i = 1; i < R; i++) { inter[0] = 1; inter[1] = 1; inter[2] = 1; } return inter[0]; } I've tried apparently doesn't warn even without the change, because ccp for a PHI which has undefined SSA name and defined SSA name just propagates the defined one (without a warning), so I don't have a testcase. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39612