1! { dg-do run } 2! { dg-options "-fdump-tree-original -fcoarray=lib -lcaf_single" } 3! { dg-additional-options "-latomic" { target libatomic_available } } 4! 5! Some dependency-analysis check for coarray communication 6! 7integer, target, save :: A(10)[*] 8integer, pointer :: P(:) 9integer, save :: B(10)[*] 10 11A = [1,2,3,4,5,6,7,8,9,10] 12B = [1,2,3,4,5,6,7,8,9,10] 13A(10:2:-1) = A(9:1:-1)[1] ! 0 14B(10:2:-1) = B(9:1:-1) 15if (any (A-B /= 0)) call abort 16 17A = [1,2,3,4,5,6,7,8,9,10] 18B = [1,2,3,4,5,6,7,8,9,10] 19A(9:1:-1) = A(10:2:-1)[1] ! 1 20B(9:1:-1) = B(10:2:-1) 21if (any (A-B /= 0)) call abort 22 23A = [1,2,3,4,5,6,7,8,9,10] 24B = [1,2,3,4,5,6,7,8,9,10] 25allocate(P(10)) 26P(:) = A(:)[1] ! 1 27if (any (A-B /= 0)) call abort 28 29A = [1,2,3,4,5,6,7,8,9,10] 30B = [1,2,3,4,5,6,7,8,9,10] 31allocate(P(10)) 32P(:) = B(:)[1] ! 0 33 34A = [1,2,3,4,5,6,7,8,9,10] 35B = [1,2,3,4,5,6,7,8,9,10] 36A(1:5)[1] = A(3:7)[1] ! 1 37B(1:5) = B(3:7) 38if (any (A-B /= 0)) call abort 39end 40 41! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, &parm.\[0-9\]+, 4, 4, 0\\\);" 1 "original" } } 42! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, &parm.\[0-9\]+, 4, 4, 1\\\);" 1 "original" } } 43! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, &p, 4, 4, 1\\\);" 1 "original" } } 44! { dg-final { scan-tree-dump-times "_gfortran_caf_get \\\(caf_token.1, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) b, 1, &parm.\[0-9\]+, 0B, &p, 4, 4, 0\\\);" 1 "original" } } 45! { dg-final { scan-tree-dump-times "_gfortran_caf_sendget \\\(caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, caf_token.0, \\\(integer\\\(kind=\[48\]\\\)\\\) parm.\[0-9\]+.data - \\\(integer\\\(kind=\[48\]\\\)\\\) a, 1, &parm.\[0-9\]+, 0B, 4, 4, 0\\\);" 1 "original" } } 46 47! { dg-final { cleanup-tree-dump "original" } } 48