Issues · correctcomputation/checkedc-clang

Labels Milestones New issue

Redefined 'break' with stats and 'goto'

benchmark failure

clang preprocessor

incomplete description

unusual c code - low priority

#737

· kyleheadley opened

on Oct 21, 2021

Rewriting error for array of function pointer with typedef type

benchmark failure

incomplete description

#736

· kyleheadley opened

on Oct 21, 2021

1

Multi-decl rewriting loses macro in base type of variable whose type did not change

#652

· mattmccutchen-cci opened

on Jul 19, 2021

2

Macro expander fails on "X macro" `AddMagickCoder` in ImageMagick

#616

· mattmccutchen-cci opened

on Jun 16, 2021

1

Problems caused by non-canonical PSL file paths of macro calls in `#include`d files

clang preprocessor

unusual c code - low priority

#604

· mattmccutchen-cci opened

on Jun 8, 2021

Rewriting bugs with re-solving of bounds declaration inside macro

unusual c code - low priority

#595

· mattmccutchen-cci opened

on May 18, 2021

structs are not global : good or bad (relates to preprocessor, in part) ?

#499

· mwhicks1 opened

on Mar 18, 2021

4

Uniquely identify persistent source locations inside macro expansions

#444

· mattmccutchen-cci opened

on Feb 22, 2021

1

Cast insertion fails when cast needs to be placed inside a macro

#439

· john-h-kastner opened

on Feb 19, 2021

1

3

Ideas for rewriting pointers inside macros

#400

· mattmccutchen-cci opened

on Jan 26, 2021

4

Should wild ptrs lose array bounds?

#388

· kyleheadley opened

on Jan 20, 2021

2

Merge rewrites to different `#if` branches of same header from different translation units

#374

· john-h-kastner opened

on Jan 12, 2021

7

Macros inhibit rewriting

#40

· Isweet opened

on Mar 16, 2020

5