Cil does not correctly handle ACSL annotations with nested comments when called with -pp-annot
ID0000812:
**This issue was created automatically from Mantis Issue 812. Further discussion may take place here.**
---
| **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** |
| --- | --- | --- | --- | --- | --- |
| ID0000812 | Frama-C | Kernel > ACSL implementation | public | 2011-05-03 | 2011-10-10 |
| | | | | | |
| --- | --- | --- | --- | --- | --- |
| **Reporter** | yakobowski | **Assigned To** | virgile | **Resolution** | fixed |
| **Priority** | low | **Severity** | crash | **Reproducibility** | always |
| **Platform** | - | **OS** | - | **OS Version** | - |
| **Product Version** | Frama-C Carbon-20110201 | **Target Version** | - | **Fixed in Version** | Frama-C Nitrogen-20111001 |
### Description :
Calling frama-c with -pp-annot on the two codes below results in a crash (first code), or a not so clear message (second code).
--- Code 1 ----
/*@ assigns \nothing;
// Bla */
void main() {
}
--- Code 2 ----
/*@ assigns \nothing;
// Bla */
void main() {
}
/* */
issue