Opened 7 weeks ago

Last modified 7 weeks ago

#94 new defect

sim: Signed integer value is shown as unsigned.

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;
      return 0;
  }

the show .x command outputs:

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

where the a value should be interpreted as signed, i.e. -1, instead. Thanks!

Change History (1)

comment:1 Changed 7 weeks ago by Lukáš Zaoral

Sorry, there's a typo in the description. Of course I meant plain show instead of show .x.

Note: See TracTickets for help on using tickets.