https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91258
--- Comment #8 from seurer at gcc dot gnu.org ---
I printed lhs right at the start of that block and this is what I get:
<mem_ref 0x3fffb5e1d570
type <integer_type 0x3fffb5c80738 int public SI
size <integer_cst 0x3fffb5c51068 constant 32>
unit-size <integer_cst 0x3fffb5c51080 constant 4>
align:32 warn_if_not_align:0 symtab:0 alias-set 1 canonical-type
0x3fffb5c80738 precision:32 min <integer_cst 0x3fffb5c51020 -2147483648> max
<integer_cst 0x3fffb5c51038 2147483647>
pointer_to_this <pointer_type 0x3fffb5c81ae8>>
arg:0 <addr_expr 0x3fffb5c685a0
type <pointer_type 0x3fffb5e48dc0 type <array_type 0x3fffb5e48d18>
unsigned DI
size <integer_cst 0x3fffb5c50e28 constant 64>
unit-size <integer_cst 0x3fffb5c50e40 constant 8>
align:64 warn_if_not_align:0 symtab:0 alias-set -1
structural-equality>
arg:0 <var_decl 0x3fffb7fd2370 D.3146 type <array_type 0x3fffb5e48d18>
addressable used ignored SI
/home/seurer/gcc/gcc-test2/gcc/testsuite/g++.dg/ubsan/vla-1.C:9:5 size
<integer_cst 0x3fffb5c51068 32> unit-size <integer_cst 0x3fffb5c51080 4>
align:32 warn_if_not_align:0 context <function_decl 0x3fffb5e5f100
main>>>
arg:1 <integer_cst 0x3fffb5c5b2b0 type <pointer_type 0x3fffb5c81ae8>
constant 0>>
<mem_ref 0x3fffb5e1d5c0
type <integer_type 0x3fffb5c80738 int public SI
size <integer_cst 0x3fffb5c51068 constant 32>
unit-size <integer_cst 0x3fffb5c51080 constant 4>
align:32 warn_if_not_align:0 symtab:0 alias-set 1 canonical-type
0x3fffb5c80738 precision:32 min <integer_cst 0x3fffb5c51020 -2147483648> max
<integer_cst 0x3fffb5c51038 2147483647>
pointer_to_this <pointer_type 0x3fffb5c81ae8>>
arg:0 <addr_expr 0x3fffb5c68560
type <pointer_type 0x3fffb5e48dc0 type <array_type 0x3fffb5e48d18>
unsigned DI
size <integer_cst 0x3fffb5c50e28 constant 64>
unit-size <integer_cst 0x3fffb5c50e40 constant 8>
align:64 warn_if_not_align:0 symtab:0 alias-set -1
structural-equality>
arg:0 <var_decl 0x3fffb7fd2370 D.3146 type <array_type 0x3fffb5e48d18>
addressable used ignored SI
/home/seurer/gcc/gcc-test2/gcc/testsuite/g++.dg/ubsan/vla-1.C:9:5 size
<integer_cst 0x3fffb5c51068 32> unit-size <integer_cst 0x3fffb5c51080 4>
align:32 warn_if_not_align:0 context <function_decl 0x3fffb5e5f100
main>>>
arg:1 <integer_cst 0x3fffb5c5b268 type <pointer_type 0x3fffb5c81ae8>
constant 4>>
