[nac3standalone 32-bit error] ./list_slice_issue315.py without --lli: Executable segfault and output is corrupted #469

New Issue

lyken · 2024-07-21T15:44:24+08:00

lyken commented

2024-07-21 15:44:24 +08:00

(Requires #468)
(Error found by https://git.m-labs.hk/lyken/misc/src/branch/main/nac3/find_anomalies.py)

How to reproduce

Go to nac3standalone/demo and do:

cargo build && ./run_demo.sh --debug -s 32 src/list_slice_issue315.py

Problem

The output of ./demo is very corrupted:

[1, 1, 0, 0, 0, 0, -25640, 32767, 2, 32767, -25304, 32767, 4199910, 0, 4199904, 0, -137313970, 32767, -25328, 32767, 4199904, 0, 4194368, 1, -25304, 32767, -25304, 32767, -1745894815, 1496701001, 0, 0, -25... (more garbage data)
Segmentation fault (core dumped) ./demo

On the other hand, when run in 64-bits (i.e., -s 64), the output would be correct:

[1, 1]
[1, 1]

(Requires https://git.m-labs.hk/M-Labs/nac3/pulls/468) (Error found by https://git.m-labs.hk/lyken/misc/src/branch/main/nac3/find_anomalies.py) ## How to reproduce Go to `nac3standalone/demo` and do: ``` cargo build && ./run_demo.sh --debug -s 32 src/list_slice_issue315.py ``` ## Problem The output of `./demo` is very corrupted: ``` [1, 1, 0, 0, 0, 0, -25640, 32767, 2, 32767, -25304, 32767, 4199910, 0, 4199904, 0, -137313970, 32767, -25328, 32767, 4199904, 0, 4194368, 1, -25304, 32767, -25304, 32767, -1745894815, 1496701001, 0, 0, -25... (more garbage data) Segmentation fault (core dumped) ./demo ``` On the other hand, when run in 64-bits (i.e., `-s 64`), the output would be correct: ``` [1, 1] [1, 1] ```

lyken changed title from ~~[nac3standalone 32-bit error] `./list_slice_issue315.py` with `--lli`: Executable segfault and output is corrupted~~ to [nac3standalone 32-bit error] `./list_slice_issue315.py` without `--lli`: Executable segfault and output is corrupted

2024-07-21 15:46:01 +08:00

derppening referenced a pull request that will close this issue

2024-07-22 01:55:29 +08:00

Fix codegen issues for 32-bit targets #477

sb10q closed this issue

2024-07-27 21:55:36 +08:00

Sign in to join this conversation.