diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-06-22 10:31:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 12:31:47 +0200 |
| commit | 7ffbef99665102871af334c1e6d2c8f1e77fd6b7 (patch) | |
| tree | 49362ba0c5da270c0b28861ed83db581ae76eb3e /gcc/tree-vect-patterns.c | |
| parent | 71b235999de097baad9739568b21f7d2714a306a (diff) | |
| download | gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.zip gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.gz gcc-7ffbef99665102871af334c1e6d2c8f1e77fd6b7.tar.bz2 | |
spark_xrefs.ads (Scope_Num): type refined to positive integers.
2016-06-22 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads (Scope_Num): type refined to positive integers.
* lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope):
moved into scope of Collect_SPARK_Xrefs.
(Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs;
now uses Dspec and Scope_Id from Collect_SPARK_Xrefs.
(Collect_SPARK_Xrefs): refactored to avoid retraversing the list
of scopes.
(Traverse_Compilation_Unit): refactored as a generic procedure.
* types.ads (Unit_Number_Type): range refined.
From-SVN: r237690
Diffstat (limited to 'gcc/tree-vect-patterns.c')
0 files changed, 0 insertions, 0 deletions