Search results

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

Variable with generic type assigned to non-generic

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

generic

incomplete description

Status: Open.

#734 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 21, 2021

Conflicting rewrites for extern sized arrays

array bounds

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

incomplete description

rewriter

Status: Open.

#733 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 21, 2021

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

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

cast

incomplete description

Status: Open.

#731 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 20, 2021