| // ensure that constants for contract levels are inserted into the binary when | |
| // used and omitted when the runtime check is not generated | |
| // { dg-do compile } | |
| // { dg-options "-std=c++2a -fcontracts -fcontract-build-level=default" } | |
| // { dg-final { scan-assembler-not "audit" } } | |
| // { dg-final { scan-assembler "default" } } | |
| int main() | |
| { | |
| int x = 1; | |
| [[assert: x < 0]]; | |
| [[assert default: x < 0]]; | |
| [[assert audit: x < 0]]; | |
| return 0; | |
| } |