http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60639
Bug ID: 60639
Summary: New Assert Variants
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: olafvdspek at gmail dot com
assert() is nice, but sometimes the expression should be evaluated (but not
checked) even when NDEBUG is defined, could we have (gnu) verify() for this?
Sometimes you also want the expression to be checked under NDEBUG, could we
have (gnu) assure for this?