[Bug c/110454] New: [14 Regression] ICE: tree check: expected none of vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388 with -Wtraditional-conversion

[Bug c/110454] New: [14 Regression] ICE: tree check: expected none of vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388 with -Wtraditional-conversion

[zsojka at seznam dot cz]

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

            Bug ID: 110454
           Summary: [14 Regression] ICE: tree check: expected none of
                    vector_type, have vector_type in convert_argument, at
                    c/c-typeck.cc:3388 with -Wtraditional-conversion
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---

Created attachment 55410
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55410&action=edit
reduced testcase

Probably since commit fe48f2651334bc4d96b6df6b2bb6b29fcb732a83

Compiler output:
$ x86_64-pc-linux-gnu-gcc -Wtraditional-conversion testcase.c
testcase.c: In function 'foo':
testcase.c:6:3: internal compiler error: tree check: expected none of
vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388
    6 |   foo (v);
      |   ^~~
0x85e0a3 tree_not_check_failed(tree_node const*, char const*, int, char const*,
...)
        /repo/gcc-trunk/gcc/tree.cc:8936
0x6c114e tree_not_check(tree_node*, char const*, int, char const*, tree_code)
        /repo/gcc-trunk/gcc/tree.h:3581
0x6c114e convert_argument
        /repo/gcc-trunk/gcc/c/c-typeck.cc:3388
0xdde4bc convert_arguments
        /repo/gcc-trunk/gcc/c/c-typeck.cc:3743
0xdde4bc build_function_call_vec(unsigned int, vec<unsigned int, va_heap,
vl_ptr>, tree_node*, vec<tree_node*, va_gc, vl_embed>*, vec<tree_node*, va_gc,
vl_embed>*, tree_node*)
        /repo/gcc-trunk/gcc/c/c-typeck.cc:3249
0xe05321 c_parser_postfix_expression_after_primary
        /repo/gcc-trunk/gcc/c/c-parser.cc:11258
0xdfb83d c_parser_postfix_expression
        /repo/gcc-trunk/gcc/c/c-parser.cc:10865
0xdffa6a c_parser_unary_expression
        /repo/gcc-trunk/gcc/c/c-parser.cc:8850
0xe0157f c_parser_cast_expression
        /repo/gcc-trunk/gcc/c/c-parser.cc:8691
0xe0186f c_parser_binary_expression
        /repo/gcc-trunk/gcc/c/c-parser.cc:8459
0xe02cdb c_parser_conditional_expression
        /repo/gcc-trunk/gcc/c/c-parser.cc:8157
0xe03494 c_parser_expr_no_commas
        /repo/gcc-trunk/gcc/c/c-parser.cc:8071
0xe03751 c_parser_expression
        /repo/gcc-trunk/gcc/c/c-parser.cc:11398
0xe03e97 c_parser_expression_conv
        /repo/gcc-trunk/gcc/c/c-parser.cc:11438
0xdf8d1f c_parser_statement_after_labels
        /repo/gcc-trunk/gcc/c/c-parser.cc:6800
0xdfb32c c_parser_compound_statement_nostart
        /repo/gcc-trunk/gcc/c/c-parser.cc:6315
0xe207f4 c_parser_compound_statement
        /repo/gcc-trunk/gcc/c/c-parser.cc:6124
0xe22852 c_parser_declaration_or_fndef
        /repo/gcc-trunk/gcc/c/c-parser.cc:2844
0xe29f1b c_parser_external_declaration
        /repo/gcc-trunk/gcc/c/c-parser.cc:1925
0xe2a8f3 c_parser_translation_unit
        /repo/gcc-trunk/gcc/c/c-parser.cc:1779
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-2153-20230628163757-gf3d87219dd5-checking-yes-rtl-df-extra-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu
--with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-2153-20230628163757-gf3d87219dd5-checking-yes-rtl-df-extra-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230628 (experimental) (GCC)

[Bug c/110454] [14 Regression] ICE: tree check: expected none of vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388 with -Wtraditional-conversion

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org
   Target Milestone|---                         |14.0

[Bug c/110454] [14 Regression] ICE: tree check: expected none of vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388 with -Wtraditional-conversion

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Last reconfirmed|                            |2023-06-29
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine, testing obvious patch.

[Bug c/110454] [14 Regression] ICE: tree check: expected none of vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388 with -Wtraditional-conversion

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:d81c7a25365d3cc87e5edad5e68049b149af55b4

commit r14-2181-gd81c7a25365d3cc87e5edad5e68049b149af55b4
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Jun 29 08:55:39 2023 +0200

    c/110454 - ICE with bogus TYPE_PRECISION use

    The following sinks TYPE_PRECISION to properly guarded use places.

            PR c/110454
    gcc/c/
            * c-typeck.cc (convert_argument): Sink formal_prec compute
            to where TYPE_PRECISION is valid to use.

    gcc/testsuite/
            * gcc.dg/Wtraditional-conversion-3.c: New testcase.

[Bug c/110454] [14 Regression] ICE: tree check: expected none of vector_type, have vector_type in convert_argument, at c/c-typeck.cc:3388 with -Wtraditional-conversion

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.