https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90293
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |msebor at gcc dot gnu.org
Severity|normal |enhancement
--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
I think this could be useful. A related feature I'd like to see is a "binding"
attribute that made it possible to express a) ranges of return values and b)
relationships involving arguments. E.g., "expect a negative return value if
function argument 1 is greater than 255." By binding I mean one that
guaranteed the result as opposed to simply expressing a likelihood.
