[COMMITTED] ada: Fix inherited postconditions in inlined subprograms
Checks
Commit Message
From: Bob Duff <duff@adacore.com>
Protect the building of postcondition pragmas in case the
postcondition is not present due to inlining.
gcc/ada/
* freeze.adb
(Build_Inherited_Condition_Pragmas): Do nothing if A_Post is
empty.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/freeze.adb | 15 ++++++++++-----
1 file changed, 10 insertions(+), 5 deletions(-)
@@ -1718,11 +1718,16 @@ package body Freeze is
end;
end if;
- New_Prag := New_Copy_Tree (A_Post);
- Rewrite
- (Expression (First (Pragma_Argument_Associations (New_Prag))),
- Class_Post);
- Append (New_Prag, Decls);
+ -- A_Post can be null here if the postcondition was inlined in the
+ -- called subprogram.
+
+ if Present (A_Post) then
+ New_Prag := New_Copy_Tree (A_Post);
+ Rewrite
+ (Expression (First (Pragma_Argument_Associations (New_Prag))),
+ Class_Post);
+ Append (New_Prag, Decls);
+ end if;
end if;
end Build_Inherited_Condition_Pragmas;