[Bug middle-end/66221] New: [CHKP, 6 regression] lto1: error: type variant has different TYPE_ARG_TYPES

[Bug middle-end/66221] New: [CHKP, 6 regression] lto1: error: type variant has different TYPE_ARG_TYPES

[ienkovich at gcc dot gnu.org]

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

            Bug ID: 66221
           Summary: [CHKP, 6 regression] lto1: error: type variant has
                    different TYPE_ARG_TYPES
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ienkovich at gcc dot gnu.org
  Target Milestone: ---

Check added by r222991 reveals a problem with function types created for
instrumented functions.

>cat test1.c
int test1 (const char *p)
{
  return (int)(*p);
}
>cat test2.c
int test1 (const char *);

int main (int argc, const char **argv)
{
  return test1 (argv[0]);
}
>gcc test1.c test2.c -O0 -flto -fcheck-pointer-bounds -mmpx
lto1: error: type variant has different TYPE_ARG_TYPES
 <function_type 0x7f7056a34bd0
    type <integer_type 0x7f7056843690 int public SI
        size <integer_cst 0x7f705683fdf8 constant 32>
        unit size <integer_cst 0x7f705683fe10 constant 4>
        align 32 symtab 0 alias set -1 canonical type 0x7f7056843690 precision
32 min <integer_cst 0x7f705683fdb0 -2147483648> max <integer_cst 0x7f705683fdc8
2147483647>
        pointer_to_this <pointer_type 0x7f705685a7e0>>
    QI
    size <integer_cst 0x7f705683fca8 type <integer_type 0x7f7056843150
bitsizetype> constant 8>
    unit size <integer_cst 0x7f705683fcc0 type <integer_type 0x7f70568430a8
sizetype> constant 1>
    align 8 symtab 0 alias set 0 canonical type 0x7f7056a34bd0
    arg-types <tree_list 0x7f7056a31550
        value <pointer_type 0x7f7056a34b28 type <integer_type 0x7f7056a34a80
char>
            unsigned DI
            size <integer_cst 0x7f705683fbb8 constant 64>
            unit size <integer_cst 0x7f705683fbd0 constant 8>
            align 64 symtab 0 alias set 0 canonical type 0x7f705685a7e0
            pointer_to_this <pointer_type 0x7f7056a3b1f8>>
        chain <tree_list 0x7f7056852938 value <void_type 0x7f705685a000 void>>>
    pointer_to_this <pointer_type 0x7f7056a3b930>>
 <function_type 0x7f7056a34c78
    type <integer_type 0x7f7056843690 int public SI
        size <integer_cst 0x7f705683fdf8 constant 32>
        unit size <integer_cst 0x7f705683fe10 constant 4>
        align 32 symtab 0 alias set -1 canonical type 0x7f7056843690 precision
32 min <integer_cst 0x7f705683fdb0 -2147483648> max <integer_cst 0x7f705683fdc8
2147483647>
        pointer_to_this <pointer_type 0x7f705685a7e0>>
    QI
    size <integer_cst 0x7f705683fca8 type <integer_type 0x7f7056843150
bitsizetype> constant 8>
    unit size <integer_cst 0x7f705683fcc0 type <integer_type 0x7f70568430a8
sizetype> constant 1>
    align 8 symtab 0 alias set 0 canonical type 0x7f7056a34c78
    arg-types <tree_list 0x7f7056a31528
        value <pointer_type 0x7f7056a34b28 type <integer_type 0x7f7056a34a80
char>
            unsigned DI
            size <integer_cst 0x7f705683fbb8 constant 64>
            unit size <integer_cst 0x7f705683fbd0 constant 8>
            align 64 symtab 0 alias set 0 canonical type 0x7f705685a7e0
            pointer_to_this <pointer_type 0x7f7056a3b1f8>>
        chain <tree_list 0x7f7056a31500 value <pointer_bounds_type
0x7f705685a0a8 __bounds_type>
            chain <tree_list 0x7f7056a314d8 value <void_type 0x7f705685a000
void>>>>>
lto1: internal compiler error: verify_type failed
0xf81484 verify_type(tree_node const*)
        /gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/tree.c:12971
0x6c12c4 lto_fixup_state
        /gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/lto/lto.c:2849
0x6c143b lto_fixup_decls
        /gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/lto/lto.c:2881
0x6c1d2e read_cgraph_and_symbols
        /gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/lto/lto.c:3102
0x6c29b3 lto_main()
        /gnumnt/msticlxl7_users/ienkovic/issues/mpx/gcc/gcc/lto/lto.c:3479

[Bug middle-end/66221] [CHKP, 6 regression] lto1: error: type variant has different TYPE_ARG_TYPES

[ienkovich at gcc dot gnu.org]

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

--- Comment #1 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
Author: ienkovich
Date: Thu May 21 08:32:52 2015
New Revision: 223471

URL: https://gcc.gnu.org/viewcvs?rev=223471&root=gcc&view=rev
Log:
gcc/

        PR middle-end/66221
        * ipa-chkp.c (chkp_copy_function_type_adding_bounds): Use
        build_distinct_type_copy to copy bounds.

gcc/testsuite/

        PR middle-end/66221
        * gcc.dg/lto/pr66221_0.c: New test.
        * gcc.dg/lto/pr66221_1.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/lto/pr66221_0.c
    trunk/gcc/testsuite/gcc.dg/lto/pr66221_1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-chkp.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/66221] [CHKP, 6 regression] lto1: error: type variant has different TYPE_ARG_TYPES

[ienkovich at gcc dot gnu.org]

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

--- Comment #3 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
Author: ienkovich
Date: Thu May 21 09:47:32 2015
New Revision: 223474

URL: https://gcc.gnu.org/viewcvs?rev=223474&root=gcc&view=rev
Log:
gcc/

        Backport from mainline r223471
        2015-05-21  Ilya Enkovich  <enkovich.gnu@gmail.com>

        PR middle-end/66221
        * ipa-chkp.c (chkp_copy_function_type_adding_bounds): Use
        build_distinct_type_copy to copy bounds.

gcc/testsuite/

        Backport from mainline r223471
        2015-05-21  Ilya Enkovich  <enkovich.gnu@gmail.com>

        PR middle-end/66221
        * gcc.dg/lto/pr66221_0.c: New test.
        * gcc.dg/lto/pr66221_1.c: New test.


Added:
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/lto/pr66221_0.c
    branches/gcc-5-branch/gcc/testsuite/gcc.dg/lto/pr66221_1.c
Modified:
    branches/gcc-5-branch/gcc/ChangeLog
    branches/gcc-5-branch/gcc/ipa-chkp.c
    branches/gcc-5-branch/gcc/testsuite/ChangeLog