Issues

• Inconsistent behavior of string literals between reference interpreter and generated object code

  AbsInt/CompCert#578 · Filter by author monniaux opened on Mar 20, 2026
  1

• Add support for indirect branch tracking (IBT)

  AbsInt/CompCert#556 · Filter by author didickman opened on Jul 2, 2025
  6

• Edge case with offsetof

  AbsInt/CompCert#549 · Filter by author dkfellows opened on May 5, 2025
  2

• __ILP32__ __LP64__ __LLP64__

  AbsInt/CompCert#536 · Filter by author monniaux opened on Nov 5, 2024

• Feature request: support +r constraint in extended asm

  AbsInt/CompCert#510 · Filter by author didickman opened on Feb 1, 2024

• Any options available for function & data purging?

  enhancement
  AbsInt/CompCert#500 · Filter by author xxuejie opened on Aug 4, 2023
  4

• Bit-field initialization via interpreter still has problems

  AbsInt/CompCert#499 · Filter by author Geoffrey1014 opened on Jul 25, 2023
  1

• list_forall2 replaceable by standard function

  AbsInt/CompCert#493 · Filter by author monniaux opened on Jun 12, 2023

• compiling with -g on MacOS AArch64 leads to linking warnings

  AbsInt/CompCert#486 · Filter by author monniaux opened on Apr 3, 2023

• maintenance request: adapt to coq/coq#17022

  AbsInt/CompCert#483 · Filter by author andres-erbsen opened on Feb 20, 2023

• Suggestion: Val.of_bool and partial evaluation

  AbsInt/CompCert#478 · Filter by author roconnor-blockstream opened on Feb 1, 2023

• RISC-V -- error: fixup value out of range

  AbsInt/CompCert#451 · Filter by author brad0 opened on Aug 15, 2022
  2

• compilation of __builtin_unreachable

  AbsInt/CompCert#430 · Filter by author monniaux opened on May 6, 2022

• -version-file option; detailed -version information

  enhancement
  AbsInt/CompCert#386 · Filter by author andrew-appel opened on Jan 30, 2021
  2

• Some dual-licensed code, such as PrintCsyntax, depends on NCL-only sources

  AbsInt/CompCert#379 · Filter by author shym opened on Dec 17, 2020

• contracted floating-point expressions

  enhancement
  AbsInt/CompCert#373 · Filter by author monniaux opened on Oct 18, 2020
  2

• Command line option to return configuration data

  enhancement
  AbsInt/CompCert#362 · Filter by author MSoegtropIMC opened on Jun 29, 2020
  3

• sub-architectural options passed to preprocessor, assembler etc.

  enhancement
  AbsInt/CompCert#347 · Filter by author monniaux opened on Apr 12, 2020

• Misleading comment in cparser/StructPassing.ml

  AbsInt/CompCert#318 · Filter by author sixcy opened on Oct 14, 2019
  2

• Support for long and long long bit-field types

  enhancement
  AbsInt/CompCert#315 · Filter by author tgduckworth opened on Sep 18, 2019
  4

• __thread / _Thread_local

  enhancement
  AbsInt/CompCert#268 · Filter by author monniaux opened on Feb 2, 2019
  4

• Support for gnu extension flexible array initializer

  enhancement
  AbsInt/CompCert#264 · Filter by author ubitux opened on Jan 23, 2019
  2

• feature request: allow code on stdin for gcc compat

  enhancement
  AbsInt/CompCert#166 · Filter by author didickman opened on Feb 12, 2017
  2

• Details about wide-character support

  enhancement
  AbsInt/CompCert#26 · Filter by author ghost opened on Mar 2, 2015
  3

• Bit-field initialization for automatic-storage variables

  enhancement
  AbsInt/CompCert#22 · Filter by author ghost opened on Feb 13, 2015
  3