error: label ‘__invalid_label’ used but not defined (csmith)
ID0000897: This issue was created automatically from Mantis Issue 897. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000897 | Frama-C | Plug-in > slicing | public | 2011-07-28 | 2014-02-12 |
| Reporter | pascal | Assigned To | Anne | 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 :
Je rapporte au plus vite pendant que c'est encore frais. Ça semble bien être un petit bug lié aux changements récents.
La commande de slicing était :
~/ppc/bin/toplevel.opt -val-signed-overflow-alarms -no-val-show-progress s.28172412.1.i -slice-calls Frama_C_show_each -slevel 5000 -slevel-function crc32_gentab:0 -then-on 'Slicing export' -print -ocode s.28172412.1.s.c
Il y en a un deuxième qui est sorti pendant que je faisais l'archive et qui s'est glissé dedans. Le deuxième semble être un autre problème mais est trop gros pour être regardé, j'en trouverai un plus petit.