[klee-dev] KLEE crashes on global STL variable

[Bowen Zhou]

Hello,

KLEE crashes in exiting a program with global STL variable. Such as the 
following example:

#include <vector>
std::vector<int> v;
int main() {}

KLEE outputs:
KLEE: done: total instructions = 53
KLEE: done: completed paths = 1
KLEE: done: generated tests = 0
0  klee            0x0000000000d9439f
1  klee            0x0000000000d962fa
2  libpthread.so.0 0x000000367320f500
3  libpthread.so.0 0x00000000030b10e0

Cheers,
Bowen Zhou