Opened 7 weeks ago

#95 new defect

sim: Negative integer is ignored when defined after another negative integer.

Reported by: Lukáš Zaoral Owned by: mornfall
Priority: major Milestone: 4.4
Component: sim Keywords:
Cc: kdudka@…, jamartis@…, lzaoral@…


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
       address: heap* 1f78a5dd 0+0
       size:    16
       pc:      code* 80001 0
       location: test3.c:5
       symbol:  main
       type:    int
       value:   [i32 4294967295 d]
       scope:   main
   related:     [ caller ]
   # executing main at test3.c:5

where the b variable entry is missing. Thanks!

Change History (0)

Note: See TracTickets for help on using tickets.