Searched refs:Possible_Side_Effect_In_SPARK (Results 1 – 9 of 9) sorted by relevance
11426 function Possible_Side_Effect_In_SPARK (Exp : Node_Id) return Boolean; subprogspec11471 function Possible_Side_Effect_In_SPARK (Exp : Node_Id) return Boolean is subprogram11485 end Possible_Side_Effect_In_SPARK;11508 (GNATprove_Mode and then Possible_Side_Effect_In_SPARK (Exp))
2487 * exp_util.adb (Possible_Side_Effect_In_SPARK): Replace hyphen
11621 function Possible_Side_Effect_In_SPARK (Exp : Node_Id) return Boolean; subprogspec11692 function Possible_Side_Effect_In_SPARK (Exp : Node_Id) return Boolean is subprogram11707 end Possible_Side_Effect_In_SPARK;11730 (GNATprove_Mode and then Possible_Side_Effect_In_SPARK (Exp))
7168 * exp_util.adb (Possible_Side_Effect_In_SPARK): Handle component