ACATS 4.0 User's Guide
Title Page
Contents   Index   References   Previous   Next 

D.2.3 Floating Point Overflow

Consider the declaration
type F is digits System.Max_Digits;
If F'Machine_Overflows = False and 2.0*F'Machine_Radix**F'Machine_EMax <= F'Base'Last then the test contained in the following file should report NOT_APPLICABLE (if it compiles without error):
C4A013B.ADA    

Contents   Index   References   Previous   Next