Issues

Issues

• _Dynamic_check + for loop does not eliminate array bounds checks (-O1/-O2)

  checkedc/checkedc#510 · opened on Sep 23, 2025

• find-patterns.c sample code does not compile

  checkedc/checkedc#509 · opened on Jul 24, 2025
  1

• TyVar support not implemented

  checkedc/checkedc#508 · opened on Oct 22, 2024

• New syntax compiler warning

  checkedc/checkedc#507 · opened on Oct 16, 2024
  1

• New syntax for generic structs missing.

  checkedc/checkedc#506 · opened on Sep 27, 2024
  1

• Arithmetic on Generic types

  checkedc/checkedc#503 · opened on Sep 12, 2024
  2

• Epic: bring Checked C specification into agreement with the compiler implementation

  checkedc/checkedc#501 · opened on Sep 1, 2024

• Consider removing uses of colon in Checked C syntax

  checkedc/checkedc#500 · opened on Sep 1, 2024

• Epic: complete support for erasable Checked C syntax

  checkedc/checkedc#499 · opened on Sep 1, 2024

• Create stand-alone tool for checking Checked C programs compiled with regular C compilers.

  checkedc/checkedc#498 · opened on Sep 1, 2024

• Create examples of using the optional header file for erasable syntax.

  checkedc/checkedc#497 · opened on Sep 1, 2024

• Create header file for erasable Checked C annotations

  checkedc/checkedc#496 · opened on Sep 1, 2024

• Update Wiki documentation on erasable syntax

  checkedc/checkedc#495 · opened on Sep 1, 2024

• Update the Checked C specification to describe erasable syntax

  checkedc/checkedc#494 · opened on Sep 1, 2024

• Update description of program scopes for checked pointer types in specification

  checkedc/checkedc#493 · opened on Sep 1, 2024

• Update description of flow-sensitive bounds declarations.

  checkedc/checkedc#492 · opened on Sep 1, 2024

• Update description of generic types on the Wiki

  checkedc/checkedc#491 · opened on Sep 1, 2024

• Update description of generic types in the specification

  checkedc/checkedc#490 · opened on Sep 1, 2024

• Move pointer conversion description out of the interoperation chapter

  checkedc/checkedc#489 · opened on Sep 1, 2024

• Add description of format string support checking for varargs

  checkedc/checkedc#488 · opened on Sep 1, 2024

• Improve description of bounds widening

  checkedc/checkedc#487 · opened on Sep 1, 2024

• How to use MSYS2/Mingw-w64 GCC compiler instead of Microsoft Visual Studio?

  checkedc/checkedc#483 · opened on Nov 9, 2022

• Casts should be excluded from checked region?

  checkedc/checkedc#480 · opened on Mar 18, 2022
  2

• Issue to track comments and updates to the proposed Checked C extension changes.

  checkedc/checkedc#470 · opened on Aug 24, 2021
  3

• redeclare_libs_{explicit,implicit}.c tests fail when _CHECKEDC_MOCKUP_THREADS is removed on a system that supports threads

  checkedc/checkedc#459 · opened on Jul 6, 2021