sim: Integers < -5 appearing in dbg.value are discarded.

[Lukáš Zaoral]

Hello,
if I run the following code in the divine sim (occurs also on next builds):

  int main(void)
  {
      int a = -1;
      int b = -5;
      return 0;
  }

the show command outputs:

   > show
   attributes:
       address: heap* 1f78a5dd 0+0
       size:    16
       pc:      code* 80001 0
       location: test3.c:5
       symbol:  main
   .a:
       type:    int
       value:   [i32 4294967295 d]
       scope:   main
   related:     [ caller ]
   # executing main at test3.c:5

where the b variable entry is missing. Thanks!

[mornfall]

Some data points: this works if the variables are used (e.g. put a printf after the declarations) or --disable-static-reduction is given. The only real problem seems to be with dbg.value (which is what remains after the alloca is removed) and values less than -4 (changing b to -2 fixes the problem too).