Search results

"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

<code>-itypes-for-extern</code> 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

Better choice of pointer-type constraint solution for <code>-infer-types-for-undefs</code>

-infer-types-for-undefs

constraint graph

Status: Open.

#697 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Sep 7, 2021

Improve handling of "Bad pointer type solution"

constraint graph

root-cause

Status: Open.

#680 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Aug 16, 2021

Remove double-pointer "outer wild -&gt; inner wild" constraints?

constraint graph

Status: Open.

#656 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Jul 27, 2021

Generics propagation inside functions

constraint graph

enhancementNew feature or requestNew feature or request

generic

Status: Open.

#642 In correctcomputation/checkedc-clang;

· kyleheadley opened on Jul 7, 2021

Constraint not generated correctly for chained DesignatedInitExpr

bugSomething isn't workingSomething isn't working

constraint graph

Status: Open.

#475 In correctcomputation/checkedc-clang;

· john-h-kastner opened on Mar 8, 2021

String literals treated as unchecked without -alltypes

constraint graph

Status: Open.

#470 In correctcomputation/checkedc-clang;

· john-h-kastner opened on Mar 5, 2021

Properly report multiple root causes of wildness of the same pointer

constraint graph

root-cause

Status: Open.

#298 In correctcomputation/checkedc-clang;

· mattmccutchen-cci opened on Oct 21, 2020