[Bug tree-optimization/104717] [9/10/11/12 Regression] ICE: verify_ssa failed (Error: type mismatch between an SSA_NAME and its symbol)

tschwinge at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Mon Feb 28 13:47:58 GMT 2022


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

--- Comment #2 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
Reproduced, thanks for the report.


The problem disappears when adding '-fno-ipa-pta' to '-O1 -fopenacc
-fstack-arrays'.  Not yet analyzed the differences.


The problem does not reproduce with '-O1 -fopenmp -fipa-pta -fstack-arrays' and
code changes as per:

    -    !$acc parallel copyout(array)
    +    !$omp target map(from:array)
         array = [(-i, i = 1, nn)]
    -    !$acc end parallel
    +    !$omp end target

..., so really points to something specific to OpenACC handling.


More information about the Gcc-bugs mailing list