[Bug optimization/14235] [3.4/3.5 Regression] ICE in verify_local_live_at start (flow.c:546)

["ebotcazou at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-02-29 22:36 -------
So

  scanf("%d",a);

is a "feature" of the code?


If no, then you could have submitted this instead:

int printf(char *);

int main()
{
  long long a;

  if (!a) {
    long long b = 0;

    if (a == 7)
      b = 9;
    else if (a == 8)
      b = (short)b;

    if (b) {
      printf("hi");
    }
  }
}

which gives exactly the same ICE, and exactly for the same reason: because 'a'
is uninitialized so the behaviour of this code is indeterminate, which is why I
called it dumb.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14235