List view

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

Support for asm goto

enhancement

Status: Open.

#81 In goblint/cil;

· vesalvojdani opened on Feb 22, 2022

Add Pure instr

bug

Status: Draft (not ready).

goblint/cilnumber 232

#232 In goblint/cil;

· sim642 opened on Jul 20, 2026

Fold constant conditional expressions, even without lowerConstants

bug

Status: Draft (not ready).

goblint/cilnumber 215

#215 In goblint/cil;

· sim642 opened on Jan 28, 2026

Label asconst and machdep arguments to avoid mixups

cleanup

Status: Draft (not ready).

goblint/cilnumber 230

#230 In goblint/cil;

· sim642 opened on May 22, 2026

Keep side-effect-less expression statements when wanted

bug

Status: Open.

#145 In goblint/cil;

· sim642 opened on Jun 1, 2023

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

Fix incorrect integer promotion for bit-fields

Status: Open (in progress).

goblint/cilnumber 218

#218 In goblint/cil;

· Copilot opened on Mar 12, 2026

Incorrect integer promotion for bit-fields

c23

Status: Open.

Bug

#212 In goblint/cil;

· jprotopopov-ut opened on Jan 21, 2026