]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae8f82f) | patch
ada: Remove unnecessary call to Detach.
authorVadim Godunko <godunko@adacore.com>
Wed, 15 Feb 2023 08:22:27 +0000 (12:22 +0400)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 23 May 2023 07:59:06 +0000 (09:59 +0200)
commit9826f1e019f6abc5f4960dcfd8f7fcf83dc820dc
treefb608860fcada77aa840a7da22d0898e2454027dtree
parentae8f82fd03400fd7460745c13f81a7e740a8cdb7commit | diff
ada: Remove unnecessary call to Detach.

Holder object is constant and protected from modification by tampering
rules.

gcc/ada/

* libgnat/a-coinho__shared.adb (Constant_Reference): Remove call
of Detach
(Query_Element): Likewise.
gcc/ada/libgnat/a-coinho__shared.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git