| // check that a valid program using assertions compiles and runs | |
| // ensure an axiom with a failing predicate doesn't prevent a successful run | |
| // (axiom level contracts are never checked at runtime) | |
| // { dg-do run } | |
| // { dg-options "-std=c++2a -fcontracts -fcontract-semantic=default:never -fcontract-semantic=audit:ignore -fcontract-semantic=axiom:ignore" } | |
| int main() | |
| { | |
| int x = 1; | |
| [[assert axiom: x < 0]]; | |
| [[assert: x > 0]]; | |
| [[assert audit: x < 0]]; | |
| return 0; | |
| } | |