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
12 Open 14 Closed
12 Open 14 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

Array bounds on function returns use incorrect identifiers when function declarations use different parameter names array bounds
#742 opened Nov 16, 2021 by john-h-kastner
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
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
Better bounds propagation for generic functions array bounds generic rewriter
#643 opened Jul 7, 2021 by kyleheadley
Investigate order dependence in AvarBoundsInference::mergeReachableProgramVars array bounds
#597 opened May 21, 2021 by john-h-kastner
Rewriting bugs with re-solving of bounds declaration inside macro array bounds macro rewriter unusual c code - low priority
#595 opened May 18, 2021 by mattmccutchen-cci
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
Add regression test: Assertion failure in array bounds inference on array subscript in multi-variable declaration array bounds bug Something isn't working priority:1 Highest priority item
#415 opened Feb 3, 2021 by john-h-kastner
1
@mattmccutchen-cci
2
Incorrect constant bounds on function parameter array bounds
#397 opened Jan 25, 2021 by john-h-kastner
@Machiry
2
Should wild ptrs lose array bounds? array bounds macro priority:2 Medium priority rewriter
#388 opened Jan 20, 2021 by kyleheadley
2
Bounds incorrectly derived from struct alias array bounds bug Something isn't working
#280 opened Sep 28, 2020 by mwhicks1
@Machiry
1
Better bounds inference on checked arrays array bounds
#272 opened Sep 21, 2020 by john-h-kastner
3
ProTip! Updated in the last three days: updated:>2025-05-16.