-
Notifications
You must be signed in to change notification settings - Fork 13.7k
Closed
Labels
A-type-systemArea: Type systemArea: Type systemC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCmetabugIssues about issues themselves ("bugs about bugs")Issues about issues themselves ("bugs about bugs")
Description
metabug: const_eval bugs from type confusion and/or overflow
(I am collapsing these seemingly distinct categories into one, because I have observed cases where a seeming failure to catch an overflow, or signaling an overflow where none should exist, can sometimes be traced to the const-evaluator being confused about the type of the expression in question.)
Metadata
Metadata
Assignees
Labels
A-type-systemArea: Type systemArea: Type systemC-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFCmetabugIssues about issues themselves ("bugs about bugs")Issues about issues themselves ("bugs about bugs")