Search results

No need to pass CheckedScopeSpecifier around in SemaBounds.cpp

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

work itemThis labels issues that are not exactly bugs but are about improvements.This labels issues that are not exactly bugs but are about improvements.

Status: Open.

#1151 In checkedc/checkedc-clang;

· mgrang opened on Aug 10, 2021

Assertion failure during LLVM IR generation for dynamic bounds cast of generic parameter

bugThis labels issues that are bugs.This labels issues that are bugs.

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1126 In checkedc/checkedc-clang;

· john-h-kastner opened on Jul 13, 2021

Compiler null dereference on invalid implicit conversion between incompatible checked pointer types

bugThis labels issues that are bugs.This labels issues that are bugs.

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1115 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Jul 6, 2021

Disallow casts between incompatible checked pointer types in checked scopes?

bugThis labels issues that are bugs.This labels issues that are bugs.

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1114 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Jul 1, 2021

Compiler does not enforce initialization of stack-allocated <code>_Nt_checked</code> array with null terminator (unsound)

bugThis labels issues that are bugs.This labels issues that are bugs.

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1101 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Jun 18, 2021

Assertion fail for generic struct definition after non-generic pre-declaration

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1092 In checkedc/checkedc-clang;

· john-h-kastner opened on Jun 10, 2021

Parsers assertion fail after mistyped <code>_For_any</code> declaration

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1091 In checkedc/checkedc-clang;

· john-h-kastner opened on Jun 10, 2021

Compiler allows bogus bound for <code>argv</code> parameter to <code>main</code> (unsound)

bugThis labels issues that are bugs.This labels issues that are bugs.

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1072 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on May 27, 2021

Parser assertion failure on malformed <code>_For_any</code> / <code>_Itype_for_any</code> construct

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1069 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on May 27, 2021

Introduce temporaries for argument expressions that have side-effects and are used in parameter or return bounds

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1009 In checkedc/checkedc-clang;

· mattmccutchen-cci opened on Mar 22, 2021

Conditional operator bugs

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#1008 In checkedc/checkedc-clang;

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

Issue with restrict qualifier - another manifestation

bugThis labels issues that are bugs.This labels issues that are bugs.

priority:3This labels bugs that are not very critical but still need to be addressed.This labels bugs that are not very critical but still need to be addressed.

Status: Open.

#954 In checkedc/checkedc-clang;

· sulekhark opened on Dec 8, 2020