[clang] [Clang] Ignore assumptions with side effects at compile time (PR #85534)

[Timm Baeder via cfe-commits]

tbaederr wrote:

Is it expected that a failed assumption with side effects does not result in an 
error?

```c++
constexpr bool f(int &a) {

    a = 10;
    return false;
}

constexpr int c() {
    int a = 0;
    [[assume(f(a))]];

    return a;
}
static_assert(c() == 0);
```

https://github.com/llvm/llvm-project/pull/85534
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits