tbaeder added inline comments.
================
Comment at: clang/test/AST/Interp/literals.cpp:875
1 ? 0 : 1;
+ sizeof(A);
+ alignof(A);
----------------
aaron.ballman wrote:
> Let's make sure we still reject this:
> ```
> constexpr int oh_my() {
> int x = 0;
> sizeof(int[x++]); // This would usually be evaluated because VLAs are
> terrible
> return x;
> }
> ```
> https://godbolt.org/z/E3jx6co46
Hm, no, doesn't get rejected:
```
array.cpp:1240:3: warning: expression result unused [-Wunused-value]
1240 | sizeof(int[x++]); // This would usually be evaluated because VLAs are
terrible
| ^~~~~~~~~~~~~~~~
array.cpp:1243:15: error: static assertion failed due to requirement 'oh_my()
== 1'
1243 | static_assert(oh_my() == 1);
| ^~~~~~~~~~~~
array.cpp:1243:23: note: expression evaluates to '0 == 1'
1243 | static_assert(oh_my() == 1);
| ~~~~~~~~^~~~
```
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D149834/new/
https://reviews.llvm.org/D149834
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
