Issues

• C11: Translation of compound assignment into normal assignment introduces additional behavior

  bugc11
  goblint/cil#233 · Filter by author michael-schwarz opened on Jul 29, 2026
  2

• RFC: Clang support and (relatedly) simplifying Machdep

  goblint/cil#228 · Filter by author stephenrkell opened on Apr 29, 2026
  1

• Handling of compatible structure declarations

  c23
  goblint/cil#220 · Filter by author jprotopopov-ut opened on Mar 12, 2026
  1

• Locations are offset due to macro expansion

  Bug

  goblint/cil#214 · Filter by author sim642 opened on Jan 23, 2026

• Locations are offset due to lexer misuse in parser actions

  Bug

  goblint/cil#213 · Filter by author sim642 opened on Jan 23, 2026

• __Float32x4_t and __Float64x2_t support

  Feature

  goblint/cil#196 · Filter by author sim642 opened on Sep 23, 2025

• Don't silently truncate integer constants

  Bug

  goblint/cil#194 · Filter by author sim642 opened on Sep 3, 2025

• GCC 15.1.1 support: nullptr

  c23
  Feature

  goblint/cil#182 · Filter by author Robotechnic opened on Jun 17, 2025
  2

• Fail to build on Ubuntu 18.04 64bits

  bugquestionsetup
  goblint/cil#174 · Filter by author mingodad opened on Nov 1, 2024
  6

• Avoid unnecessary temporary variable for initializers

  enhancement
  goblint/cil#163 · Filter by author sim642 opened on Jan 24, 2024

• Remove annoying integer casts from pointer equality checks

  cleanup
  goblint/cil#162 · Filter by author sim642 opened on Jan 24, 2024

• Frontc.parse_standalone_exp doesn't handle typedef-s

  bughelp wanted
  goblint/cil#159 · Filter by author sim642 opened on Nov 23, 2023
  1

• Mismerged functions with GCC transparent unions

  bug
  goblint/cil#158 · Filter by author sim642 opened on Oct 10, 2023

• Version 2.0.0 test failure on macos-homebrew

  bug
  goblint/cil#154 · Filter by author sim642 opened on Sep 22, 2023
  4

• Test failures on oraclelinux-9 and freebsd

  bug
  goblint/cil#153 · Filter by author sim642 opened on Sep 22, 2023

• Keep side-effect-less expression statements when wanted

  bug
  goblint/cil#145 · Filter by author sim642 opened on Jun 1, 2023 · 2.2.0
  1

  

• "Invalid call to builtin_object_size" warning

  bug
  goblint/cil#143 · Filter by author nathanschmidt opened on May 20, 2023

• Extern inline functions are handled incorrectly when merge_inlines is false

  bug
  goblint/cil#142 · Filter by author karoliineh opened on May 18, 2023
  3

• "Cannot represent the integer" errors in Concrat benchmarks

  bug
  goblint/cil#132 · Filter by author sim642 opened on Feb 20, 2023
  2

• Version 2.0.0 test failures on x86_32, arm32 and s390x

  bugsetup
  goblint/cil#110 · Filter by author sim642 opened on Aug 12, 2022
  10

• Formatcil doesn't insert implicit casts

  bug
  goblint/cil#95 · Filter by author sim642 opened on May 24, 2022

• Formatcil doesn't support || and && operators

  bug
  goblint/cil#94 · Filter by author sim642 opened on May 24, 2022

• Optimize inline function merging

  enhancement
  goblint/cil#82 · Filter by author sim642 opened on Feb 23, 2022
  1

• Spurious Warning: Body of function ... falls-through and cannot find an appropriate return value

  bugcleanup
  goblint/cil#70 · Filter by author michael-schwarz opened on Jan 27, 2022

• Add missing _builtins

  bug
  goblint/cil#69 · Filter by author michael-schwarz opened on Jan 19, 2022
  3