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@…

Description

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!

Change History (0)

Note: See TracTickets for help on using tickets.