method call in initializer of global constant causes segmentation fault
ID0002005: This issue was created automatically from Mantis Issue 2005. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002005 | Frama-Clang | Plug-in > clang | public | 2014-12-01 | 2015-03-26 |
| Reporter | Jochen | Assigned To | fvedrine | Resolution | open |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | frama-c-Neon-20140301+dev-stance | OS | - | OS Version | xubuntu-cfe13.10 |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
output:
Segmentation fault (core dumped) [kernel] user error: Failed to parse C++ file. See Clang messages for more information
If the "const" is removed from line 8, the output changes to:
Now output intermediate result 182.cpp:8:[kernel] warning: Call to _ZN3clsE1a in constant. Ignoring this call and returning 0.
If line 8 is embedded in the body of main(), the problem disappears (with and without "const").
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information