]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Extend No_Dependence restriction to code generation
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 28 Jun 2022 17:03:00 +0000 (19:03 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 13 Jul 2022 10:01:22 +0000 (10:01 +0000)
commit1f3f64b9e777a706662554ef39a512544244ef0c
tree55685db14669e4cb9ed2988d75cfa55782ab0a2b
parent351659f8dc80f1faaefae9fec2eab30c24ff282d
[Ada] Extend No_Dependence restriction to code generation

This reports violations for 4 units from gigi.

gcc/ada/

* gcc-interface/trans.cc (gigi): Report a violation of No_Dependence
on System.Stack_Checking if Stack_Check_Probes_On_Target is not set
and -fstack-check is specified.
(build_binary_op_trapv): Report violatiosn of No_Dependence on both
System.Arith_64 and System.Arith_128.
(add_decl_expr): If an initialized variable, report a violation of
No_Dependence on System.Memory_Copy for large aggregate types.
(gnat_to_gnu) <N_Op_Eq>: Report a violation
of No_Dependence on System.Memory_Compare for large aggregate types.
<N_Assignment_Statement>! Report a violation of No_Dependence on
System.Memory_Set, System.Memory_Move or else System.Memory_Copy for
large aggregate types.
* gcc-interface/utils2.cc (maybe_wrap_malloc): Report a violation of
No_Dependence on System.Memory.
(maybe_wrap_free): Add GNAT_NODE parameter and report a violation of
No_Dependence on System.Memory.
(build_call_alloc_dealloc): Adjust call to maybe_wrap_free.
gcc/ada/gcc-interface/trans.cc
gcc/ada/gcc-interface/utils2.cc