https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108871
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |marxin at gcc dot gnu.org
Keywords| |missed-optimization
Component|c++ |ipa
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
What could be done is insert assertions into the IL when inlining functions
with attributes that assert something on their arguments (or return value) via
function attributes.
Note one nice thing about having it in attributes and across calls only is
that you do not have to worry about code motion across assertions creating
wrong code.
