[clang] [clang] pointer to member with qualified-id enclosed in parentheses in unevaluated context should be invalid (PR #89713)

Aaron Ballman via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 17 09:46:53 PDT 2024


AaronBallman wrote:

If I'm following along correctly, both of those `static_assert`s should be accepted from your first example because `decltype` is an unevaluated context and the fix would be to change:
```
if (isa<ParenExpr>(OrigOp.get())) {
```
to instead be:
```
if (isa<ParenExpr>(OrigOp.get()) && !SemaRef.isUnevaluatedContext()) {
```
? Or is there a deeper issue here and I'm not seeing it?

https://github.com/llvm/llvm-project/pull/89713


More information about the cfe-commits mailing list