https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125590
Paco Arjonilla <pacoarjonilla at yahoo dot es> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pacoarjonilla at yahoo dot es
--- Comment #2 from Paco Arjonilla <pacoarjonilla at yahoo dot es> ---
Another test case
```cpp
#include <vector>
consteval int f() {
std::vector<int> v = {1};
v.push_back(2);
v.pop_back(); // size is back to 1
contract_assert(v.size() == 1); // <- error: contract condition is not
constant
return v[0];
}
constexpr int n = f();
static_assert(n == 1);
```
-std=c++26 -fcontracts
https://godbolt.org/z/codahjhEh
