projects / test_jj.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a056c2) | patch
[Ada] Deconstruct dead wrappers added for external axiomatization
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 29 Nov 2021 12:25:50 +0000 (13:25 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 Jan 2022 11:32:34 +0000 (11:32 +0000)
commit06faf927cbcd2809d45ea10867961dab6217df33
tree907e405db901eb396d16820cad49fe6434934f5ctree | snapshot
parent1a056c2788630270b37066a1ac76d1e64ac6e194commit | diff
[Ada] Deconstruct dead wrappers added for external axiomatization

gcc/ada/

* sem_ch12.ads (Build_Function_Wrapper, Build_Operator_Wrapper):
Remove unreferenced spec.
* sem_ch12.adb (Build_Function_Wrapper, Build_Operator_Wrapper):
Remove dead bodies.
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_ch12.ads diff | blob | history