ID0001042: **This issue was created automatically from Mantis Issue 1042. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001042 | Frama-C | Graphical User Interface | public | 2011-12-09 | 2011-12-10 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | rbonichon | **Assigned To** | monate | **Resolution** | no change required | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C GIT, precise the release id | **Target Version** | Frama-C GIT, precise the release id | **Fixed in Version** | - | ### Description : Whenever highlighting a function declaration in the GUI (ie. a PVDecl construct) whose first statement has been added by Cil, the highlighting affects not only the function name and args until the opening '{' but also the first statement of the function. It does not seem to happen for functions whose first statement is equivalent to the original Cabs statement. ### Steps To Reproduce : See the attache gzipped archive which contains a minimal Frama-C plugin with an example to exhibit the problematic behavior. ## Attachments - [minimal.tgz](/uploads/dbeceb12db03da6f0acc101532b09571/minimal.tgz)