https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77973
--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> --- ...and the assert is triggered when remapping the D.3442 part in clause: map(tofrom:*x.0 [len: D.3442]) of the target statement. The variable indeed belongs to the top-level function bind, but there is an OMP parallel statement in between it and the target, which does not specify how it is or isn't shared in it, which I assume is the bug.