Revert previous change.

From-SVN: r244695
This commit is contained in:
Arnaud Charlet 2017-01-20 11:30:28 +01:00
parent 49779c98ff
commit 17d302ec03
2 changed files with 4 additions and 5 deletions

View File

@ -1,7 +1,3 @@
2017-01-20 Arnaud Charlet <charlet@adacore.com>
* exp_ch3.adb: Reenable code.
2017-01-20 Yannick Moy <moy@adacore.com>
* sinfo.ads: Document lack of Do_Division_Check flag

View File

@ -5901,7 +5901,10 @@ package body Exp_Ch3 is
-- would otherwise make two copies. The RM allows removing redunant
-- Adjust/Finalize calls, but does not allow insertion of extra ones.
return (Nkind (Expr_Q) = N_Explicit_Dereference
-- This part is disabled for now, because it breaks GPS builds
return (False -- ???
and then Nkind (Expr_Q) = N_Explicit_Dereference
and then not Comes_From_Source (Expr_Q)
and then Nkind (Original_Node (Expr_Q)) = N_Function_Call
and then Nkind (Object_Definition (N)) in N_Has_Entity