emitted program computes differently from original (csmith)
ID0000858: This issue was created automatically from Mantis Issue 858. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000858 | Frama-C | Plug-in > semantic constant folding | public | 2011-06-08 | 2014-02-12 |
| Reporter | pascal | Assigned To | monate | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
cuoq@ns61143:/csmith$ cat scf.08000752.exec
[value] Called Frama_C_show_each({8413297})
[value] Called Frama_C_show_each({3974178539})
[value] Called Frama_C_show_each({3974178539})
cuoq@ns61143:/csmith$ /ppc/bin/toplevel.opt -val -cpp-command "gcc -C -E -I $CSMITH/runtime -D__FRAMAC " -slevel 50 -no-results-function crc32_gentab -semantic-const-folding -quiet -machdep x86_64 scf.08000752.c | ./selin.pl > scf.i
cuoq@ns61143:/csmith$ gcc scf.i show_each-x86_64.o
cuoq@ns61143:~/csmith$ ./a.out
[value] Called Frama_C_show_each({8413297})
[value] Called Frama_C_show_each({844760584})
[value] Called Frama_C_show_each({844760584})