diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 12:19:07 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 12:19:07 +0100 |
| commit | 6d67bea9215e3d0ca6fb9dbd55124907a395f746 (patch) | |
| tree | 4472a6bef6d00b44366fb5de0aae988117000ce7 /gcc/ada/scos.ads | |
| parent | 64a4f612f932d54d242f9c0f6594a84c2f764fcc (diff) | |
| download | gcc-6d67bea9215e3d0ca6fb9dbd55124907a395f746.zip gcc-6d67bea9215e3d0ca6fb9dbd55124907a395f746.tar.gz gcc-6d67bea9215e3d0ca6fb9dbd55124907a395f746.tar.bz2 | |
[multiple changes]
2017-01-23 Claire Dross <dross@adacore.com>
* exp_spark.adb (Expand_SPARK_Attribute_Reference): For
attributes which return Universal_Integer, introduce a conversion
to the expected type with the appropriate check flags set.
* sem_res.adb (Resolve_Range): The higher bound can be in Typ's
base type if the range is null. It may still be invalid if it
is higher than the lower bound. This is checked later in the
context in which the range appears.
2017-01-23 Pierre-Marie de Rodat <derodat@adacore.com>
* scos.ads: Introduce a constant to represent ignored
dependencies in SCO_Unit_Table_Entry.
From-SVN: r244776
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index da5cc47..61f6efe 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2009-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 2009-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -497,6 +497,11 @@ package SCOs is -- Used to index values in this table. Values start at 1 and are assigned -- sequentially as entries are constructed. + Missing_Dep_Num : constant Nat := 0; + -- Represents a dependency number for a dependency that is ignored. SCO + -- information consumers use this to strip units that must be kept out of + -- the coverage analysis. + type SCO_Unit_Table_Entry is record File_Name : String_Ptr; -- Pointer to file name in ALI file @@ -505,7 +510,9 @@ package SCOs is -- Index for the source file Dep_Num : Nat; - -- Dependency number in ALI file + -- Dependency number in ALI file. This is a positive number when the + -- dependency is actually available in the context, it is + -- Missing_Dep_Num otherwise. From : Nat; -- Starting index in SCO_Table of SCO information for this unit |