| // Test that s.i is not modified by the assume. | |
| // { dg-do compile { target c++17 } } | |
| struct string | |
| { | |
| const char *p; | |
| int i; | |
| constexpr string (const char *p): p(p), i(0) { } | |
| constexpr int length () { ++i; return __builtin_strlen (p); } | |
| }; | |
| constexpr int f() | |
| { | |
| string s ("foobar"); | |
| [[assume (s.length () > 0)]]; | |
| if (s.i != 0) __builtin_abort(); | |
| int len = s.length (); | |
| if (s.i != 1) __builtin_abort(); | |
| return len; | |
| } | |
| static_assert (f()); |