[Bug c/111665] New: internal compiler error: in c_objc_common_truthvalue_conversion

[Bug c/111665] New: internal compiler error: in c_objc_common_truthvalue_conversion

[nrk at disroot dot org]

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

            Bug ID: 111665
           Summary: internal compiler error: in
                    c_objc_common_truthvalue_conversion
           Product: gcc
           Version: 13.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nrk at disroot dot org
  Target Milestone: ---

Minimal reproducer:

    extern int func(void *);
    int main(void)
    {
        __attribute__((__assume__(func)));
    }

`-freport-bug` output:

    // Target: x86_64-pc-linux-gnu
    // Configured with:
/var/tmp/portage/sys-devel/gcc-13.2.1_p20230826/work/gcc-13-20230826/configure
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr
--bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/13
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/13/include
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/13
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/13/man
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/13/info
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/13/include/g++-v13
--disable-silent-rules --disable-dependency-tracking
--with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/13/python
--enable-languages=c,c++ --enable-obsolete --enable-secureplt --disable-werror
--with-system-zlib --disable-nls --disable-libunwind-exceptions
--enable-checking=release --with-bugurl=https://bugs.gentoo.org/
--with-pkgversion='Gentoo 13.2.1_p20230826 p7' --with-gcc-major-version-only
--enable-libstdcxx-time --enable-lto --disable-libstdcxx-pch --enable-shared
--enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
--disable-multilib --with-multilib-list=m64 --disable-fixed-point
--enable-targets=all --enable-libgomp --disable-libssp --disable-libada
--disable-cet --disable-systemtap --disable-valgrind-annotations
--disable-vtable-verify --disable-libvtv --with-zstd --with-isl
--disable-isl-version-check --disable-default-pie --disable-default-ssp
--with-build-config='bootstrap-O3 bootstrap-lto'
    // Thread model: posix
    // Supported LTO compression algorithms: zlib zstd
    // gcc version 13.2.1 20230826 (Gentoo 13.2.1_p20230826 p7) 
    // 
    // test.c: In function 'main':
    // test.c:4:5: internal compiler error: in
c_objc_common_truthvalue_conversion, at c/c-typeck.cc:13368
    //     4 |     __attribute__((__assume__(func)));
    //       |     ^~~~~~~~~~~~~
    // 0x1252094 internal_error(char const*, ...)
    //  ???:0
    // 0x1252166 fancy_abort(char const*, int, char const*)
    //  ???:0
    // 0x1acae13 c_parse_file()
    //  ???:0
    // 0x1ac201e c_common_parse_file()
    //  ???:0
    // Please submit a full bug report, with preprocessed source.
    // Please include the complete backtrace with any bug report.
    // See <https://bugs.gentoo.org/> for instructions.

    // /usr/libexec/gcc/x86_64-pc-linux-gnu/13/cc1 -quiet test.c -quiet
-dumpbase test.c -dumpbase-ext .c -mtune=generic -march=x86-64 -freport-bug -o
- -frandom-seed=0 -fdump-noaddr

    # 0 "test.c"
    # 0 "<built-in>"
    # 0 "<command-line>"
    # 1 "/usr/include/stdc-predef.h" 1 3 4
    # 0 "<command-line>" 2
    # 1 "test.c"
    extern int func(void *);
    int main(void)
    {
        __attribute__((__assume__(func)));
    }

[Bug c/111665] internal compiler error: in c_objc_common_truthvalue_conversion

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2023-10-02
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
Also:
    extern int func(void *);
    int main(void)
    {
        [[gnu::assume(func)]];
    }