https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108218
--- Comment #11 from Steven Sun <StevenSun2021 at hotmail dot com> --- (In reply to Andrew Pinski from comment #10) > https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#2392 > > "potentially-evaluated". Oh, I realized that, According to the DR 2392 accepted as a DR at the November, 2022 meeting: https://cplusplus.github.io/CWG/issues/2392.html We should not evaluate that expression in the first dimension of `new` anymore. So this is not a bug. This also applys for expressions appearing in requirement-seq of requires-expressions. So surprising! (Correct me if I am wrong)