Skip to content

Issues: correctcomputation/checkedc-clang

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
16 Open 19 Closed
16 Open 19 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Redefined 'break' with stats and 'goto' benchmark failure A bug causing a failure in our nightly benchmark tests clang preprocessor code pattern incomplete description macro unusual c code - low priority
#737 opened Oct 21, 2021 by kyleheadley
Rewriting error for array of function pointer with typedef type benchmark failure A bug causing a failure in our nightly benchmark tests incomplete description macro rewriter
#736 opened Oct 21, 2021 by kyleheadley
1
Conflict assigning checked array to void * parameter benchmark failure A bug causing a failure in our nightly benchmark tests incomplete description
#735 opened Oct 21, 2021 by kyleheadley
Variable with generic type assigned to non-generic benchmark failure A bug causing a failure in our nightly benchmark tests generic incomplete description
#734 opened Oct 21, 2021 by kyleheadley
@kyleheadley
2
Conflicting rewrites for extern sized arrays array bounds benchmark failure A bug causing a failure in our nightly benchmark tests incomplete description rewriter
#733 opened Oct 21, 2021 by kyleheadley
2
Ptr<struct> passed to external struct * param in benchmarks benchmark failure A bug causing a failure in our nightly benchmark tests cast incomplete description
#731 opened Oct 20, 2021 by kyleheadley
5
_Assume_bounds_cast added with checked array type benchmark failure A bug causing a failure in our nightly benchmark tests cast
#728 opened Oct 18, 2021 by kyleheadley
1
Compile error assigning __func__ to _Nt_array_ptr<const char> in unchecked scope -addcr benchmark failure A bug causing a failure in our nightly benchmark tests
#727 opened Oct 15, 2021 by kyleheadley
2
Bounds on variables may use undefined values array bounds benchmark failure A bug causing a failure in our nightly benchmark tests
#726 opened Oct 15, 2021 by kyleheadley
Work around compiler bug on assignment from itype with nested _Nt_array_ptr to fully checked type benchmark failure A bug causing a failure in our nightly benchmark tests itypes
#725 opened Oct 15, 2021 by kyleheadley
4
Unchecked function assigned to safe typedef benchmark failure A bug causing a failure in our nightly benchmark tests function pointer typedef
#719 opened Oct 1, 2021 by kyleheadley
2
Trigger rewriting to propagate itypes from one declaration to another of the same function benchmark failure A bug causing a failure in our nightly benchmark tests rewriter
#678 opened Aug 16, 2021 by kyleheadley
3
3c -alltypes converts variable to _Ptr even if it flows from _Nt_array_ptr benchmark failure A bug causing a failure in our nightly benchmark tests
#541 opened Apr 9, 2021 by mattmccutchen-cci
5
Inserted _Assume_bounds_cast bounds should substitute function call arguments for parameters array bounds benchmark failure A bug causing a failure in our nightly benchmark tests bug Something isn't working cast
#524 opened Apr 3, 2021 by mwhicks1
@Machiry
6
Support analysis of multiple function definitions (main is special) benchmark failure A bug causing a failure in our nightly benchmark tests enhancement New feature or request
#504 opened Mar 19, 2021 by mwhicks1
4
Preprocessor conditional in parameter list causes invalid rewriting benchmark failure A bug causing a failure in our nightly benchmark tests rewriter
#502 opened Mar 18, 2021 by john-h-kastner
2
ProTip! Mix and match filters to narrow down what you’re looking for.