Actions
Bug #331
openGlobals without an explicit initializer are not initialized as zeros!
Start date:
08/03/2010
Due date:
% Done:
0%
Estimated time:
Detected in build:
pre-ldv
Platform:
Published in build:
Description
BLAST does not initialize global variables without explicit initializer in the
code.
For instance, if we have global var
int ldv_mutex;
BLAST will not initialize it with zero, and will process this variable as having arbitrary initial value.
In CIL (src/cil.ml) there is a function makeZeroInit. Perhaps, it could direct us...
Actions