Segmentation fault: plugin reading from Cil_types
ID0000481: This issue was created automatically from Mantis Issue 481. Further discussion may take place here.
|no change required
|Ubuntu Linux x86 10.04
|Fixed in Version
A plugin that reads data from the Cil_types module, trips a segmentation fault.
The plugin reads all data from the Cil_types module. Are there any values in Cil_types that are invalid to read, and which would cause a segfault when referenced?
Attached in the plugin (dump_cil.ml), the Makefile to build and install the pluging, and a test file (plugin_segfaults.c) that demonstrates C syntax that works and syntax that segfaults.