[Bug c/60639] New: New Assert Variants

[olafvdspek at gmail dot com]

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?