| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000989 | Frama-C | Plug-in > callgraph | public | 2011-10-19 09:30 | 2018-11-30 10:47 |
|
| Reporter | Anne | |
| Assigned To | signoles | |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | | |
| Target Version | | Fixed in Version | Frama-C Oxygen-20120901 | |
|
| Summary | 0000989: Strange dot callgraphs |
| Description | First of all, the callgraph shown in the GUI is not the same than the one generated with the [-cg] option. In the GUI, some of the functions are not displayed at all (g1 and g2 in the enclosed example).
Moreover, in both graphs (from the GUI and the command line), there is an edge between [g] and [nxt] even if [g] doesn't directly call [nxt]... |
| Tags | No tags attached. |
|
| Attached Files |  toto.c [^] (201 bytes) 2011-10-19 09:30 [Show Content] [Hide Content]void nxt ();
void f () {
nxt ();
return;
}
int g2 (int x) {
nxt ();
return x;
}
int g1 (int x) {
return g2 (x);
}
int g (int x) {
return g1 (x);
}
int main (void) {
f ();
return 0;
}
|
|
Relationships 
Relationships