[klee] r146351 - /klee/trunk/lib/Core/Executor.cpp

[Cristian Cadar]

Author: cristic
Date: Sun Dec 11 15:43:19 2011
New Revision: 146351

URL: http://llvm.org/viewvc/llvm-project?rev=146351&view=rev
Log:
Patch by Paul Marinescu that fixes an issue causing KLEE to fail on some platforms with
KLEE: ERROR: unable to load symbol(__dso_handle) while initializing globals. 


Modified:
    klee/trunk/lib/Core/Executor.cpp

Modified: klee/trunk/lib/Core/Executor.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Core/Executor.cpp?rev=146351&r1=146350&r2=146351&view=diff
==============================================================================
--- klee/trunk/lib/Core/Executor.cpp (original)
+++ klee/trunk/lib/Core/Executor.cpp Sun Dec 11 15:43:19 2011
@@ -428,6 +428,9 @@
   return mo;
 }
 
+
+extern void *__dso_handle __attribute__ ((__weak__));
+
 void Executor::initializeGlobals(ExecutionState &state) {
   Module *m = kmodule->module;
 
@@ -532,7 +535,6 @@
       if (size) {
         void *addr;
         if (i->getName() == "__dso_handle") {
-          extern void *__dso_handle __attribute__ ((__weak__));
           addr = &__dso_handle; // wtf ?
         } else {
           addr = externalDispatcher->resolveSymbol(i->getName());