Code

Fix longjmp crash on Uninitialized#1210

Code

Merged

sim642 merged 4 commits intomastergoblint/analyzer:masterfrom longjmp-topgoblint/analyzer:longjmp-topCopy head branch name to clipboardOct 16, 2023

+32-3

Commits

Commits on Oct 9, 2023

• Add 68-longjmp/56-longjmp-top extracted from concrat

  sim642

  committed
  fd5237a

  Copy full SHA for fd5237a

• Fix longjmp crash on Uninitialized

  sim642

  committed
  2224e86

  Copy full SHA for 2224e86

Commits on Oct 16, 2023

• Add final message for unknown ignored longjmp

  sim642

  committed
  a4261de

  Copy full SHA for a4261de

• Mark longjmp-top reachability test as TODO

  sim642

  committed
  5948ca4

  Copy full SHA for 5948ca4