[Bug fortran/71706] [8/9 Regression] [Coarray] ICE on using sync images with integer(kind<>4), with -fcoarray=lib -fcheck=bounds

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|ASSIGNED|RESOLVED

--- Comment #19 from anlauf at gcc dot gnu.org ---
Fixed down to 8-branch.  Closing.

Thanks for the report!

[Bug fortran/71706] [8/9 Regression] [Coarray] ICE on using sync images with integer(kind<>4), with -fcoarray=lib -fcheck=bounds

[cvs-commit at gcc dot gnu.org]

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

--- Comment #18 from CVS Commits  ---
The releases/gcc-8 branch has been updated by Harald Anlauf
:

https://gcc.gnu.org/g:10b028c2813f683a8ebab7d36c9d0d05b49a710b

commit r8-10340-g10b028c2813f683a8ebab7d36c9d0d05b49a710b
Author: Harald Anlauf 
Date:   Mon Jun 29 15:15:49 2020 +0200

PR fortran/71706 - ICE on using sync images with -fcheck=bounds

The run-time checking code did not properly convert the kind of the
argument to SYNC IMAGES, leading to an error in verify_gimple.  Fix that.

gcc/fortran/
PR fortran/71706
* trans-stmt.c (gfc_trans_sync): Do proper kind conversion in
bounds-checking code.

(cherry picked from commit e6cc67f6616c96f3e18a434e0c74ba2f3818cb6d)

[Bug fortran/71706] [8/9 Regression] [Coarray] ICE on using sync images with integer(kind<>4), with -fcoarray=lib -fcheck=bounds

[cvs-commit at gcc dot gnu.org]

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

--- Comment #17 from CVS Commits  ---
The releases/gcc-9 branch has been updated by Harald Anlauf
:

https://gcc.gnu.org/g:0c6cec5ce99a7f532d66373e0ba340c94ef688a6

commit r9-8712-g0c6cec5ce99a7f532d66373e0ba340c94ef688a6
Author: Harald Anlauf 
Date:   Mon Jun 29 15:15:49 2020 +0200

PR fortran/71706 - ICE on using sync images with -fcheck=bounds

The run-time checking code did not properly convert the kind of the
argument to SYNC IMAGES, leading to an error in verify_gimple.  Fix that.

gcc/fortran/
PR fortran/71706
* trans-stmt.c (gfc_trans_sync): Do proper kind conversion in
bounds-checking code.

(cherry picked from commit e6cc67f6616c96f3e18a434e0c74ba2f3818cb6d)

[Bug fortran/71706] [8/9 Regression] [Coarray] ICE on using sync images with integer(kind<>4), with -fcoarray=lib -fcheck=bounds

[anlauf at gcc dot gnu.org]

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

anlauf at gcc dot gnu.org changed:

   What|Removed |Added

Summary|[8/9/10/11 Regression]  |[8/9 Regression] [Coarray]
   |[Coarray] ICE on using sync |ICE on using sync images
   |images with |with integer(kind<>4), with
   |integer(kind<>4), with  |-fcoarray=lib
   |-fcoarray=lib   |-fcheck=bounds
   |-fcheck=bounds  |

--- Comment #16 from anlauf at gcc dot gnu.org ---
Fixed on master for gcc-11 and on 10-branch so far.