| Anonymous | Login | Signup for a new account | This BTS is being migrated to Gitlab, consider using those issues instead |  |
| Main | My View | View Issues | Change Log | Roadmap | Repositories |
| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
| 0002119 | Frama-C | Kernel | public | 2015-05-20 15:11 | 2016-01-26 13:50 | ||||
| Reporter | hugo.illous | ||||||||
| Assigned To | yakobowski | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Platform | OS | OS Version | |||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | Frama-C Magnesium | |||||||
| Summary | 0002119: "If" statement with only one successor | ||||||||
| Description | When a "If" statements contains in its true block the sequence "do {} while (0);", in the CFG, this statement will have only one successor. | ||||||||
| Steps To Reproduce | You can simply try with this C program and compute List.length stmt.succs void f(int n) { if (n == 0) do {} while (0); } | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files | |||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0005922) yakobowski (manager) 2015-05-23 11:58 edited on: 2015-05-23 11:58 |
To clarify a bit: the AST is not outright incorrect, because the statement corresponding to 'return' is indeed the successor of both the 'then' and 'else' branch. Thus one unique successor may make sense. On the other hand, it is much better for everyone to always have two successors for an 'if', furthermore ordered by 'then < else'. |
|
(0005926) yakobowski (manager) 2015-05-29 11:25 |
Fix committed to master branch. |
|
(0005940) monate (reporter) 2015-06-10 14:16 |
C'est en cours ! |
|
(0005941) monate (reporter) 2015-06-10 14:17 |
Mais avec une petite vérification de cohérence de sid quand même, donc ça sera un peu plus long... |
|
(0006135) yakobowski (manager) 2016-01-26 13:50 |
Hum, honnêtement, c'est tellement obscur que ça ne concernera personne, et je n'arriverai pas à l'expliquer dans le Changelog. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2015-05-20 15:11 | hugo.illous | New Issue | |
| 2015-05-22 10:15 | signoles | Assigned To | => virgile |
| 2015-05-22 10:15 | signoles | Status | new => assigned |
| 2015-05-23 11:32 | yakobowski | Assigned To | virgile => yakobowski |
| 2015-05-23 11:58 | yakobowski | Note Added: 0005922 | |
| 2015-05-23 11:58 | yakobowski | Note Edited: 0005922 | View Revisions |
| 2015-05-29 11:25 | yakobowski | Note Added: 0005926 | |
| 2015-05-29 11:25 | yakobowski | Status | assigned => resolved |
| 2015-05-29 11:25 | yakobowski | Resolution | open => fixed |
| 2015-06-10 14:16 | monate | Note Added: 0005940 | |
| 2015-06-10 14:17 | monate | Note Added: 0005941 | |
| 2016-01-26 08:51 | signoles | Fixed in Version | => Frama-C Magnesium |
| 2016-01-26 08:52 | signoles | Status | resolved => closed |
| 2016-01-26 13:50 | yakobowski | Note Added: 0006135 | |
|
Issue History |
| Copyright © 2000 - 2020 MantisBT Team |
|