Ben Pfaff wrote: > I wanted to use verify_true instead of if...abort, but GCC -Wall > gave an annoying "statement with no effect" warning.
verify_true() is meant to be used in an expression context. In a declaration context (e.g. at the beginning of a function or of a compound statement) you can use verify(). Bruno
