Merge pull request diffblue#1659 from reuk/reuk/jmp_buf-sym

dump_c fixes
smowton · Dec 8, 2017 · 5cd0f2f · 5cd0f2f
2 parents e324de6 + bf4d2c5
commit 5cd0f2f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/ansi-c/expr2c.cpp b/src/ansi-c/expr2c.cpp
@@ -2686,6 +2686,11 @@ std::string expr2ct::convert_code_decl(
       dest+="static ";
     else if(symbol->is_extern)
       dest+="extern ";
+    else if(
+      symbol->is_exported && config.ansi_c.os == configt::ansi_ct::ost::OS_WIN)
+    {
+      dest += "__declspec(dllexport) ";
+    }
 
     if(symbol->type.id()==ID_code &&
        to_code_type(symbol->type).get_inlined())

diff --git a/src/goto-programs/system_library_symbols.cpp b/src/goto-programs/system_library_symbols.cpp
@@ -105,7 +105,7 @@ void system_library_symbolst::init_system_library_map()
   // setjmp.h
   std::list<irep_idt> setjmp_syms=
   {
-    "_longjmp", "_setjmp", "longjmp", "longjmperror", "setjmp",
+    "_longjmp", "_setjmp", "jmp_buf", "longjmp", "longjmperror", "setjmp",
     "siglongjmp", "sigsetjmp"
   };
   add_to_system_library("setjmp.h", setjmp_syms);