Issues

• Compiler Issues in apple Silicon Processors

  correctcomputation/checkedc-clang#746 · Filter by author Vedaant-Rajoo opened on Jan 17, 2022
  1

• Add mechanism for "non-fatal assertions" in 3C code

  correctcomputation/checkedc-clang#745 · Filter by author mattmccutchen-cci opened on Nov 18, 2021

• Itype support for global variables and struct fields: limit wildness propagation + handle existing itypes sensibly

  itypes
  correctcomputation/checkedc-clang#744 · Filter by author mattmccutchen-cci opened on Nov 17, 2021

• "Symmetric" liberal itypes: allow data flow inside or outside function to use either side of itype?

  castconstraint graphitypes
  correctcomputation/checkedc-clang#743 · Filter by author mattmccutchen-cci opened on Nov 17, 2021

• Array bounds on function returns use incorrect identifiers when function declarations use different parameter names

  array bounds
  correctcomputation/checkedc-clang#742 · Filter by author john-h-kastner opened on Nov 16, 2021

• 3C adds unnecessary initializers to global variables

  correctcomputation/checkedc-clang#741 · Filter by author mattmccutchen-cci opened on Nov 16, 2021

• -itypes-for-extern should be integrated into the constraint graph

  -itypes-for-externconstraint graph
  correctcomputation/checkedc-clang#740 · Filter by author mattmccutchen-cci opened on Nov 15, 2021

• Rewriter::InsertText* calls should use wrappers analogous to rewriteSourceRange

  rewriter
  correctcomputation/checkedc-clang#739 · Filter by author mattmccutchen-cci opened on Nov 12, 2021

• Add a mechanism to specify "open world" files

  -infer-types-for-undefs-itypes-for-externenhancement
  correctcomputation/checkedc-clang#738 · Filter by author john-h-kastner opened on Oct 22, 2021
  1

• Redefined 'break' with stats and 'goto'

  benchmark failureclang preprocessorcode patternincomplete descriptionmacrounusual c code - low priority
  correctcomputation/checkedc-clang#737 · Filter by author kyleheadley opened on Oct 21, 2021

• Rewriting error for array of function pointer with typedef type

  benchmark failureincomplete descriptionmacrorewriter
  correctcomputation/checkedc-clang#736 · Filter by author kyleheadley opened on Oct 21, 2021
  1

• Conflict assigning checked array to void * parameter

  benchmark failureincomplete description
  correctcomputation/checkedc-clang#735 · Filter by author kyleheadley opened on Oct 21, 2021

• Variable with generic type assigned to non-generic

  benchmark failuregenericincomplete description
  correctcomputation/checkedc-clang#734 · Filter by author kyleheadley opened on Oct 21, 2021
  2

  

• Conflicting rewrites for extern sized arrays

  array boundsbenchmark failureincomplete descriptionrewriter
  correctcomputation/checkedc-clang#733 · Filter by author kyleheadley opened on Oct 21, 2021
  2

• Ptr<struct> passed to external struct * param in benchmarks

  benchmark failurecastincomplete description
  correctcomputation/checkedc-clang#731 · Filter by author kyleheadley opened on Oct 20, 2021
  5

• Duplicate root-cause entries in PerWildPtrStats.json for expression variables in shared header files

  root-cause
  correctcomputation/checkedc-clang#730 · Filter by author mattmccutchen-cci opened on Oct 19, 2021

• Work around conditional operator bugs

  correctcomputation/checkedc-clang#729 · Filter by author kyleheadley opened on Oct 18, 2021
  1

• _Assume_bounds_cast added with checked array type

  benchmark failurecast
  correctcomputation/checkedc-clang#728 · Filter by author kyleheadley opened on Oct 18, 2021
  1

• Compile error assigning __func__ to _Nt_array_ptr<const char> in unchecked scope

  -addcrbenchmark failure
  correctcomputation/checkedc-clang#727 · Filter by author kyleheadley opened on Oct 15, 2021
  2

• Bounds on variables may use undefined values

  array boundsbenchmark failure
  correctcomputation/checkedc-clang#726 · Filter by author kyleheadley opened on Oct 15, 2021

• Work around compiler bug on assignment from itype with nested _Nt_array_ptr to fully checked type

  benchmark failureitypes
  correctcomputation/checkedc-clang#725 · Filter by author kyleheadley opened on Oct 15, 2021
  4

• C-style cast not converted when result is not assigned to a pointer

  cast
  correctcomputation/checkedc-clang#722 · Filter by author john-h-kastner opened on Oct 8, 2021
  1

• Ensure that convert_project works with compilation databases that use the command field

  included tools
  correctcomputation/checkedc-clang#720 · Filter by author mattmccutchen-cci opened on Oct 4, 2021

• Unchecked function assigned to safe typedef

  benchmark failurefunction pointertypedef
  correctcomputation/checkedc-clang#719 · Filter by author kyleheadley opened on Oct 1, 2021
  2

• -itypes-for-extern rewrites itype parameters even when they don't need to be changed

  -itypes-for-externitypesrewriter
  correctcomputation/checkedc-clang#715 · Filter by author john-h-kastner opened on Sep 28, 2021