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.
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;