Issues

• Tracking: cir2c fixes for the sv-benchmarks set cir2c-ESBMC

  ftsrg/cir2c#12 · Filter by author AdamZsofi opened on Oct 5, 2026

• Calling-convention conversions read objects through pointers of another type (undefined behavior)

  ftsrg/cir2c#11 · Filter by author AdamZsofi opened on Oct 1, 2026
  1

• The ostream-sink model discards stream output, so tests cannot compare it

  ftsrg/cir2c#10 · Filter by author AdamZsofi opened on Oct 1, 2026

• C++ output: noexcept, new, packed layout, member-pointer fields, vtable dispatch, empty-class assignment

  ftsrg/cir2c#9 · Filter by author leventeBajczi opened on Sep 29, 2026
  2

• Generated C: C library name clash, local paths in identifiers, __assert_fail arguments

  ftsrg/cir2c#8 · Filter by author AdamZsofi opened on Sep 28, 2026
  1

• Out-of-line libc++ parts (exception classes, iostream) stay undefined

  ftsrg/cir2c#7 · Filter by author AdamZsofi opened on Sep 28, 2026
  1

• Uncaught exceptions do not terminate; typeid(*nullptr) does not throw

  ftsrg/cir2c#6 · Filter by author AdamZsofi opened on Sep 28, 2026
  1

• Generated C has undefined behaviour where the C++ program is well defined

  ftsrg/cir2c#5 · Filter by author AdamZsofi opened on Sep 28, 2026
  1

• Heap buffer overflow in translated std::set / std::multiset nodes

  ftsrg/cir2c#4 · Filter by author AdamZsofi opened on Sep 28, 2026
  1

• Wrong vtable pointer during construction/destruction and with virtual bases

  ftsrg/cir2c#3 · Filter by author AdamZsofi opened on Sep 28, 2026

• Exception handlers do not match base classes or pointer conversions

  ftsrg/cir2c#2 · Filter by author AdamZsofi opened on Sep 28, 2026