| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000897 | Frama-C | Plug-in > slicing | public | 2011-07-28 17:33 | 2014-02-12 16:59 | ||||
| Reporter | pascal | ||||||||
| Assigned To | Anne | ||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | ||||
| Status | closed | Resolution | fixed | ||||||
| Product Version | Frama-C GIT, precise the release id | ||||||||
| Target Version | Fixed in Version | Frama-C Nitrogen-20111001 | |||||||
| Summary | 0000897: error: label ‘__invalid_label’ used but not defined (csmith) | ||||||||
| 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. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
pascal (reporter) 2011-07-28 17:37 |
Le deuxième programme compile mais fait division par zéro là où l'original ne le faisait pas. Ça ne semble pas être le même problème. |
|
Anne (reporter) 2014-02-12 16:59 |
Fix committed to stable/neon branch. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2011-07-28 17:33 | pascal | New Issue | |
| 2011-07-28 17:33 | pascal | Status | new => assigned |
| 2011-07-28 17:33 | pascal | Assigned To | => Anne |
| 2011-07-28 17:33 | pascal | File Added: invalid_label.tgz | |
| 2011-07-28 17:37 | pascal | Note Added: 0002071 | |
| 2011-07-29 08:10 | svn | ||
| 2011-07-29 08:10 | svn | Status | assigned => resolved |
| 2011-07-29 08:10 | svn | Resolution | open => fixed |
| 2011-10-10 14:13 | signoles | Fixed in Version | => Frama-C Nitrogen-20111001 |
| 2011-10-10 14:14 | signoles | Status | resolved => closed |
| 2011-12-19 09:57 | pascal | Status | closed => feedback |
| 2011-12-19 09:57 | pascal | Resolution | fixed => reopened |
| 2011-12-19 09:59 | pascal | View Status | private => public |
| 2011-12-19 10:00 | pascal | Status | feedback => closed |
| 2011-12-19 10:00 | pascal | Resolution | reopened => fixed |
| 2013-12-19 01:12 | Anne | Source_changeset_attached | => framac master d2531c8d |
| 2014-02-12 16:54 | Anne | Source_changeset_attached | => framac stable/neon d2531c8d |
| 2014-02-12 16:59 | Anne | Note Added: 0004758 | |
| 2014-02-12 16:59 | Anne | Status | closed => resolved |
| Issue History |