Include setjmp.h if the jmp_buf symbol is used

reuk · reuk · commit bf4d2c5e755d · 2017-12-07T15:01:13.000Z
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);

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ void system_library_symbolst::init_system_library_map()`
`105`	`105`	`// setjmp.h`
`106`	`106`	`std::list<irep_idt> setjmp_syms=`
`107`	`107`	`{`
`108`		`- "_longjmp", "_setjmp", "longjmp", "longjmperror", "setjmp",`
	`108`	`+ "_longjmp", "_setjmp", "jmp_buf", "longjmp", "longjmperror", "setjmp",`
`109`	`109`	`"siglongjmp", "sigsetjmp"`
`110`	`110`	`};`
`111`	`111`	`add_to_system_library("setjmp.h", setjmp_syms);`