Searched refs:No_Exception_Propagation (Results 1 – 25 of 551) sorted by last modified time
12345678910>>...23
| /dports/lang/gnat_util/gnat_util/ |
| H A D | restrict.ads | 122 No_Exception_Propagation => True,
|
| H A D | restrict.adb | 402 Check_Restriction (No_Exception_Propagation, N);
947 Restrictions.Set (No_Exception_Propagation));
959 and then Restriction_Active (No_Exception_Propagation);
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
| H A D | warn31.ads | 1 pragma Restrictions (No_Exception_Propagation);
|
| H A D | no_exc_prop.ads | 1 pragma Restrictions (No_Exception_Propagation);
|
| H A D | bip_exception.ads | 1 pragma Restrictions (No_Exception_Propagation);
|
| H A D | bip_exception_pkg.ads | 1 pragma Restrictions (No_Exception_Propagation);
|
| H A D | ghost7.ads | 1 pragma Restrictions (No_Exception_Propagation);
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
| H A D | s-rident.ads | 114 No_Exception_Propagation, -- GNAT literal
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
| H A D | sem_ch10.adb | 2665 Check_Restriction (No_Exception_Propagation, N);
|
| H A D | restrict.adb | 383 Check_Restriction (No_Exception_Propagation, N);
950 Restrictions.Set (No_Exception_Propagation));
962 and then Restriction_Active (No_Exception_Propagation);
|
| H A D | restrict.ads | 124 No_Exception_Propagation => True,
|
| H A D | exp_intr.adb | 516 Check_Restriction (No_Exception_Propagation, N);
881 not Restriction_Active (No_Exception_Propagation);
|
| H A D | frontend.adb | 380 if Restriction_Check_Required (No_Exception_Propagation)
|
| H A D | gnat_rm.texi | 481 * No_Exception_Propagation::
12293 * No_Exception_Propagation::
12699 @node No_Exception_Handlers,No_Exception_Propagation,No_Enumeration_Maps,Partition-Wide Restrictions
12724 @node No_Exception_Propagation,No_Exception_Registration,No_Exception_Handlers,Partition-Wide Restr…
12726 @subsection No_Exception_Propagation
12729 @geindex No_Exception_Propagation
12741 @node No_Exception_Registration,No_Exceptions,No_Exception_Propagation,Partition-Wide Restrictions
|
| H A D | gnat_ugn.texi | 12425 @emph{Activate warnings for No_Exception_Propagation mode.}
12428 (No_Exception_Propagation) is in effect. Warnings are given for implicit or
12435 @emph{Disable warnings for No_Exception_Propagation mode.}
12438 (No_Exception_Propagation) is in effect.
|
| H A D | gnatbind.adb | 178 No_Exception_Propagation => False,
|
| H A D | exp_ch11.adb | 166 if not Restriction_Active (No_Exception_Propagation) then
619 or else Restriction_Active (No_Exception_Propagation))
1525 or else Restriction_Active (No_Exception_Propagation)
1585 Restriction_Active (No_Exception_Propagation))
1825 and then not Restriction_Active (No_Exception_Propagation)
1856 and then Restriction_Active (No_Exception_Propagation)
2160 if Restriction_Active (No_Exception_Propagation)
2176 if Restriction_Check_Required (No_Exception_Propagation)
|
| H A D | exp_ch3.adb | 2896 and then not Restriction_Active (No_Exception_Propagation)
6467 not Restriction_Active (No_Exception_Propagation);
|
| H A D | exp_ch5.adb | 3840 if Restriction_Active (No_Exception_Propagation) then
|
| H A D | exp_ch7.adb | 4309 if Restriction_Active (No_Exception_Propagation) then
|
| H A D | sem_ch11.adb | 181 or else Restriction_Warnings (No_Exception_Propagation)
221 Check_Restriction (No_Exception_Propagation, Choice);
625 Check_Restriction (No_Exception_Propagation, N);
|
| H A D | sem_util.adb | 8871 Restriction_Active (No_Exception_Propagation) or else
|
| H A D | exp_util.adb | 1224 not Restriction_Active (No_Exception_Propagation);
|
| H A D | ChangeLog | 1739 Given the warning only if No_Exception_Propagation is active.
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/doc/gnat_rm/ |
| H A D | standard_and_implementation_defined_restrictions.rst | 329 No_Exception_Propagation subsection
331 .. index:: No_Exception_Propagation
|
12345678910>>...23