Search results

Compiler Issues in apple Silicon Processors

Status: Open.

#746 In correctcomputation/checkedc-clang;

· Vedaant-Rajoo opened on Jan 17, 2022

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

Status: Open.

#745 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 18, 2021

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

itypes

Status: Open.

#744 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 17, 2021

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

cast

constraint graph

itypes

Status: Open.

#743 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 17, 2021

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

array bounds

Status: Open.

#742 In correctcomputation/checkedc-clang;

· john-h-kastner opened on Nov 16, 2021

3C adds unnecessary initializers to global variables

Status: Open.

#741 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 16, 2021

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

-itypes-for-extern

constraint graph

Status: Open.

#740 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 15, 2021

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

rewriter

Status: Open.

#739 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Nov 12, 2021

Add a mechanism to specify "open world" files

-infer-types-for-undefs

-itypes-for-extern

enhancementNew feature or requestNew feature or request

Status: Open.

#738 In correctcomputation/checkedc-clang;

· john-h-kastner opened on Oct 22, 2021

Redefined 'break' with stats and 'goto'

benchmark failureA bug causing a failure in our nightly benchmark testsA bug causing a failure in our nightly benchmark tests

clang preprocessor

code pattern

incomplete description

macro

unusual c code - low priority

Status: Open.

#737 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 21, 2021

Rewriting error for array of function pointer with typedef type

benchmark failureA bug causing a failure in our nightly benchmark testsA bug causing a failure in our nightly benchmark tests

incomplete description

macro

rewriter

Status: Open.

#736 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 21, 2021

Conflict assigning checked array to void * parameter

benchmark failureA bug causing a failure in our nightly benchmark testsA bug causing a failure in our nightly benchmark tests

incomplete description

Status: Open.

#735 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 21, 2021