Lines Matching refs:Static_Elaboration_Checks
1861 function Static_Elaboration_Checks return Boolean; subprogspec
1862 pragma Inline (Static_Elaboration_Checks);
2808 elsif Static_Elaboration_Checks and not Relaxed_Elaboration_Checks then
3336 pragma Assert (Static_Elaboration_Checks);
7223 if not Static_Elaboration_Checks then
7424 if not Static_Elaboration_Checks then
7569 if Static_Elaboration_Checks
7844 if not Static_Elaboration_Checks then
8356 if not Static_Elaboration_Checks then
8900 elsif Static_Elaboration_Checks then
9344 elsif Static_Elaboration_Checks then
9542 elsif Static_Elaboration_Checks then
9829 elsif Static_Elaboration_Checks then
10812 if Static_Elaboration_Checks then
11030 function Static_Elaboration_Checks return Boolean is subprogram
11033 end Static_Elaboration_Checks;