[Bug middle-end/112634] [14 Regression][OpenMP][-fprofile-generate] ICE in verify_gimple for gcc.dg/gomp/pr27573.c:

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Sebastian Huber <s...@gcc.gnu.org>:

https://gcc.gnu.org/g:41aacdea55c5d795a7aa195357d966645845d00e

commit r14-5666-g41aacdea55c5d795a7aa195357d966645845d00e
Author: Sebastian Huber <sebastian.hu...@embedded-brains.de>
Date:   Mon Nov 20 15:26:38 2023 +0100

    gcov: Fix integer types in gen_counter_update()

    This change fixes issues like this:

      gcc.dg/gomp/pr27573.c: In function âmain._omp_fn.0â:
      gcc.dg/gomp/pr27573.c:19:1: error: non-trivial conversion in
âssa_nameâ
         19 | }
            | ^
      long int
      long unsigned int
      # .MEM_19 = VDEF <.MEM_18>
      __gcov7.main._omp_fn.0[0] = PROF_time_profile_12;
      during IPA pass: profile
      gcc.dg/gomp/pr27573.c:19:1: internal compiler error: verify_gimple failed

    gcc/ChangeLog:

            PR middle-end/112634

            * tree-profile.cc (gen_assign_counter_update): Cast the unsigned
result type of
            __atomic_add_fetch() to the signed counter type.
            (gen_counter_update): Fix formatting.