Search results

Handling of compatible structure declarations

c23

Status: Open.

#220 In goblint/cil;

· jprotopopov-ut opened on Mar 12, 2026

Locations are offset due to macro expansion

Status: Open.

Bug

#214 In goblint/cil;

· sim642 opened on Jan 23, 2026

Locations are offset due to lexer misuse in parser actions

Status: Open.

Bug

#213 In goblint/cil;

· sim642 opened on Jan 23, 2026

Incorrect integer promotion for bit-fields

c23

Status: Open.

Bug

#212 In goblint/cil;

· jprotopopov-ut opened on Jan 21, 2026

__Float32x4_t and __Float64x2_t support

Status: Open.

Feature

#196 In goblint/cil;

· sim642 opened on Sep 23, 2025

Don't silently truncate integer constants

Status: Open.

Bug

#194 In goblint/cil;

· sim642 opened on Sep 3, 2025

GCC 15.1.1 support: nullptr

c23

Status: Open.

Feature

#182 In goblint/cil;

· Robotechnic opened on Jun 17, 2025

·  

2.1.0

Fail to build on Ubuntu 18.04 64bits

bug

question

setup

Status: Open.

#174 In goblint/cil;

· mingodad opened on Nov 1, 2024

Avoid unnecessary temporary variable for initializers

enhancement

Status: Open.

#163 In goblint/cil;

· sim642 opened on Jan 24, 2024

Remove annoying integer casts from pointer equality checks

cleanup

Status: Open.

#162 In goblint/cil;

· sim642 opened on Jan 24, 2024

Frontc.parse_standalone_exp doesn't handle typedef-s

bug

help wanted

Status: Open.

#159 In goblint/cil;

· sim642 opened on Nov 23, 2023

Mismerged functions with GCC transparent unions

bug

Status: Open.

#158 In goblint/cil;

· sim642 opened on Oct 10, 2023