r12793: slicing generates uncompilable code (sliced function called with too few arguments) (csmith)
ID0000780: This issue was created automatically from Mantis Issue 780. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000780 | Frama-C | Plug-in > slicing | public | 2011-04-11 | 2014-02-12 |
| Reporter | pascal | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
Bug occurred with pre-processing done on a 64-bit machine.
~/ppc/bin/toplevel.opt -val-signed-overflow-alarms noresult.11005403.1.c -cpp-command "gcc -C -E -I. -I$CSMITH/runtime " -machdep x86_64 -slice-calls printf -slevel 5000 -slevel-function crc32_gentab:0 -then-on 'Slicing export' -no-val -slevel 0 -print -ocode noresult.11005403.1.s.c
produced the provided noresult.11005403.1.s.c file, which does not compile:
gcc -I runtime noresult.11005403.1.s.c noresult.11005403.1.s.c: In function ‘func_1_slice_1’: noresult.11005403.1.s.c:466: error: too few arguments to function ‘func_28_slice_1’ noresult.11005403.1.s.c: In function ‘func_28_slice_1’: noresult.11005403.1.s.c:741: error: ‘p_29’ undeclared (first use in this function) noresult.11005403.1.s.c:741: error: (Each undeclared identifier is reported only once noresult.11005403.1.s.c:741: error: for each function it appears in.)
The original compiles, although it does have some warnings:
gcc -I runtime noresult.11005403.1.c noresult.11005403.1.c: In function ‘func_56’: noresult.11005403.1.c:819: warning: comparison of distinct pointer types lacks a cast noresult.11005403.1.c:879: warning: comparison of distinct pointer types lacks a cast noresult.11005403.1.c:886: warning: comparison of distinct pointer types lacks a cast noresult.11005403.1.c: In function ‘func_116’: noresult.11005403.1.c:2053: warning: comparison of distinct pointer types lacks a cast noresult.11005403.1.c:2054: warning: comparison of distinct pointer types lacks a cast