|
From: Paulo J. M. <po...@so...> - 2006-11-17 15:50:34
|
Hi all, When running my program (compiled with gcc4.1.1, with -g -Wall --std=c++98) under valgrind 3.2.0 with --leak-check=yes I get error as: ==6856== Invalid read of size 4 ==6856== at 0x804E92F: smtparse() (smtlib-parser.cc:2193) ==6856== Address 0xBEBE8AC0 is on thread 1's stack However, I'm not using threads in my program. Can I get more explanatory error messages? Regards, -- Paulo Jorge Matos - pocm at soton.ac.uk http://www.personal.soton.ac.uk/pocm PhD Student @ ECS University of Southampton, UK |