ada-tree.h (DECL_RESTRICTED_ALIASING_P): New flag.
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 2 Oct 2015 09:18:34 +0000 (09:18 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Fri, 2 Oct 2015 09:18:34 +0000 (09:18 +0000)
commit1ddde8dca28e6e8d35db1782938d33e5320145e2
tree0c86523efe143f65b5f0ec98fe758a0d5d63d52a
parent7262aee97867264a6cd283ea8a7739c5dfcf13f7
ada-tree.h (DECL_RESTRICTED_ALIASING_P): New flag.

* gcc-interface/ada-tree.h (DECL_RESTRICTED_ALIASING_P): New flag.
* gcc-interface/decl.c (gnat_to_gnu_param): For parameters passed by
reference but whose type isn't by-ref and whose mechanism hasn't been
forced to by-ref, set the DECL_RESTRICTED_ALIASING_P flag directly on
them instead of changing their type.
* gcc-interface/trans.c (scan_rhs_r): New helper function.
(independent_iterations_p): New predicate.
(Loop_Statement_to_gnu): For a loop with an iteration scheme, set an
ivdep pragma if the iterations are independent.

From-SVN: r228377
13 files changed:
gcc/ada/ChangeLog
gcc/ada/gcc-interface/ada-tree.h
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/vect15.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect15.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect16.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect16.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect17.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect17.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect18.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/vect18.ads [new file with mode: 0644]