[Bug ipa/84947] UBSAN: ipcp_bits_lattice::meet_with(generic_wide_int<fixed_wide_int_storage<192> >, generic_wide_int<fixed_wide_int_storage<192> >, unsigned int) ../../gcc/ipa-cp.c:1058

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84947

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Because:

(gdb) p debug_tree(parm_type)
 <record_type 0x7ffff52be930 a BLK
    size <integer_cst 0x7ffff50c5c60 type <integer_type 0x7ffff50d90a8
bitsizetype> constant 0>
    unit-size <integer_cst 0x7ffff50c5c18 type <integer_type 0x7ffff50d9000
sizetype> constant 0>
    align:8 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff52be930 context <translation_unit_decl 0x7ffff50cf1e0 b.c>
    chain <type_decl 0x7ffff52c0130 D.4324>>

In the original testcase it's also zero for:

$ gcc -flto /home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/lto/20120723_*.c
-O2

(gdb) p parm_type
$2 = (tree) 0x7ffff52be690
(gdb) p debug_tree(parm_type)
 <record_type 0x7ffff52be690 E DI
    size <integer_cst 0x7ffff50c5be8 type <integer_type 0x7ffff50d90a8
bitsizetype> constant 64>
    unit-size <integer_cst 0x7ffff50c5c00 type <integer_type 0x7ffff50d9000
sizetype> constant 8>
    align:64 warn_if_not_align:0 symtab:0 alias-set 2 canonical-type
0x7ffff52be690
    fields <field_decl 0x7ffff52c05f0 p
        type <pointer_type 0x7ffff52be738 type <record_type 0x7ffff52be7e0 S>
            unsigned DI size <integer_cst 0x7ffff50c5be8 64> unit-size
<integer_cst 0x7ffff50c5c00 8>
            align:64 warn_if_not_align:0 symtab:0 alias-set 1
structural-equality
            pointer_to_this <pointer_type 0x7ffff52be348>>
        unsigned DI
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/lto/20120723_1.c:15:13 size
<integer_cst 0x7ffff50c5be8 64> unit-size <integer_cst 0x7ffff50c5c00 8>
        align:64 warn_if_not_align:0 offset_align 128
        offset <integer_cst 0x7ffff50c5c18 constant 0>
        bit-offset <integer_cst 0x7ffff50c5c60 constant 0> context <record_type
0x7ffff52be690 E>> context <translation_unit_decl 0x7ffff50cf1e0
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/lto/20120723_1.c>
    chain <type_decl 0x7ffff52c0688 D.4340>>