List view

GCC 15.1.1 support: <code>nullptr</code>

c23

Status: Open.

Feature

#182 In goblint/cil;

· Robotechnic opened on Jun 17, 2025

Add a stub of __context__ builtin from kernel's sparse

enhancement

Status: Draft (not ready).

goblint/cilnumber 208

#208 In goblint/cil;

· jprotopopov-ut opened on Jan 14, 2026

Implement goto labels from GCC extended inline assembly syntax.

enhancement

Status: Open (in progress).

goblint/cilnumber 203

#203 In goblint/cil;

· jprotopopov-ut opened on Jan 14, 2026

Check whether static asserts actually hold at CIL-time

c11

enhancement

Status: Open.

#65 In goblint/cil;

· michael-schwarz opened on Jan 10, 2022

Check <code>_Static_assert</code>

c11

enhancement

Status: Open (in progress).

goblint/cilnumber 209

#209 In goblint/cil;

· sim642 opened on Jan 15, 2026