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

Itype support for global variables and struct fields: limit wildness propagation + handle existing itypes sensibly itypes
#744 opened Nov 17, 2021 by mattmccutchen-cci
"Symmetric" liberal itypes: allow data flow inside or outside function to use either side of itype? cast constraint graph itypes
#743 opened Nov 17, 2021 by mattmccutchen-cci
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
-itypes-for-extern rewrites itype parameters even when they don't need to be changed -itypes-for-extern itypes rewriter
#715 opened Sep 28, 2021 by john-h-kastner
buildItypeDecl uses checked typedef even if it doesn't equal the external solution itypes typedef
#705 opened Sep 9, 2021 by mattmccutchen-cci
Should DeclRewriter::buildItypeDecl use the actual internal PVConstraint? itypes
#704 opened Sep 9, 2021 by mattmccutchen-cci
Wrong rewriting of extern function pointer with itype bug Something isn't working function pointer itypes rewriter
#583 opened May 12, 2021 by mattmccutchen-cci
Remove obsolete casts cast enhancement New feature or request itypes rewriter
#525 opened Apr 3, 2021 by mwhicks1
Cast insertion fails when cast needs to be placed inside a macro cast itypes macro
#439 opened Feb 19, 2021 by john-h-kastner
1
@john-h-kastner
3
3C inserts cast into unwritable inline function body that calls function pointer with itype bug Something isn't working cast function pointer itypes
#423 opened Feb 10, 2021 by john-h-kastner
@mattmccutchen-cci
5
unify prototypes/defs with compatible but different itypes itypes rewriter
#403 opened Jan 27, 2021 by mwhicks1
4
Additional Support for Generics enhancement New feature or request generic itypes
#358 opened Dec 18, 2020 by kyleheadley
6 of 11 tasks
@kyleheadley
3
Generic types not properly handled bug Something isn't working itypes obsolete
#236 opened Aug 19, 2020 by Machiry
1
_Itype_for_any(T) parameter itype duplicated generic itypes testing
#216 opened Aug 10, 2020 by mwhicks1
@aaronjeline @john-h-kastner
3
ProTip! no:milestone will show everything without a milestone.