https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104328
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:54d21dd5b5c5c5539505b3e037cdecb3b0ab3918 commit r12-7011-g54d21dd5b5c5c5539505b3e037cdecb3b0ab3918 Author: Jakub Jelinek <ja...@redhat.com> Date: Thu Feb 3 09:01:07 2022 +0100 openmp, fortran: Improve !$omp atomic checks [PR104328] The testcase shows some cases that weren't verified and we ICE on invalid because of that. One problem is that unlike before, we weren't checking if some expression is EXPR_VARIABLE with non-NULL symtree in the case where there was a conversion around it. The other two issues is that we check that in an IF ->block is non-NULL and then immediately dereference ->block->next->op, but on invalid code with no statements in the then clause ->block->next might be NULL. 2022-02-02 Jakub Jelinek <ja...@redhat.com> PR fortran/104328 * openmp.cc (is_scalar_intrinsic_expr): If must_be_var && conv_ok and expr is conversion, verify it is a conversion from EXPR_VARIABLE with non-NULL symtree. Check ->block->next before dereferencing it. * gfortran.dg/gomp/atomic-27.f90: New test.
