diff options
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 7a3bc6ff016..f9c7052c4d3 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -581,6 +581,12 @@ package Sinfo is -- bounds are generated from an expression: Expand_Subtype_From_Expr -- should be noop. + -- 5. Errors (instead of warnings) are issued on compile-time known + -- constraint errors, except in a few selected cases where it should + -- be allowed to let analysis proceed (e.g. range checks on empty + -- ranges, typically in deactivated code based on a given + -- configuration). + ----------------------- -- Check Flag Fields -- ----------------------- |