Svadev mailing list

[Daniel Huang <dan.e.huang AT gmail.com>]

Hi Svadev,

I'm using a version of SAFECode where I have pool-allocation turned on. I've noticed that depending on the input C file, SAFECode sometimes does not write a bitcode file as specified in LTOCodeGenerator.cpp. Furthermore, whenever it does not write the bitcode file, it also does not run my pass (which I have bolded below). I add my pass in LTOCodeGenerator.cpp. 

// Add the automatic pool allocation passes

passes.add(new OptimizeSafeLoadStore());

passes.add(new PA::AllNodesHeuristic());

passes.add(new PoolAllocate());

extern Pass * createPHPass(void);

passes.add(createPHPass());

Some sample inputs where the above happen are (from the SAFECode test/mem_safety directory):

double_free-002.c

double_free-008.c

double_free-011.c

I've also noticed that for any input file, when I turn optimization on (-O1, -O2, -O3), SAFECode does not write the bitcode file. Furthermore, it does not run my pass. Do you have any idea why this behavior occurs or how to fix this so that the bitcode writing and my pass are always run?

Thanks in advance,

Dan