diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-09 12:52:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-09 12:52:41 +0000 |
| commit | 614bc51c3f2a933e694013e6c867dfdcd153017f (patch) | |
| tree | 50210e9e0eee6738ad443a769a0229c1c8090afc /gcc/ada/namet.adb | |
| parent | 5612989e5b06ce72f7c50cd6244c4c98ac4d3c76 (diff) | |
| download | gcc-614bc51c3f2a933e694013e6c867dfdcd153017f.zip gcc-614bc51c3f2a933e694013e6c867dfdcd153017f.tar.gz gcc-614bc51c3f2a933e694013e6c867dfdcd153017f.tar.bz2 | |
[multiple changes]
2017-11-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Subprogram_Instantiation): Correct use of
uninitialized variable uncovered by Codepeer.
2017-11-09 Arnaud Charlet <charlet@adacore.com>
* namet.adb: Replace pragma Assume by pragma Assert to fix bootstrap.
2017-11-09 Javier Miranda <miranda@adacore.com>
* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst:
(Static_Dispatch_Tables): Minor rewording.
* gnat_rm.texi: Regenerate.
2017-11-09 Justin Squirek <squirek@adacore.com>
* sem_ch8.adb (Analyze_Use_Package): Remove forced installation of
use_clauses within instances.
(Use_One_Package): Add condition to check for "hidden" open scopes to
avoid skipping over packages that have not been properly installed even
though they are visible.
2017-11-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Selected_Component): Reject properly a call to a
private operation of a protected type, when the type has no visible
operations.
From-SVN: r254578
Diffstat (limited to 'gcc/ada/namet.adb')
| -rw-r--r-- | gcc/ada/namet.adb | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/namet.adb b/gcc/ada/namet.adb index 153c79b..04e92da 100644 --- a/gcc/ada/namet.adb +++ b/gcc/ada/namet.adb @@ -261,8 +261,10 @@ package body Namet is declare W2 : constant Word := Hex (2); begin - pragma Assume (W2 <= 255); - -- Add assumption to facilitate static analysis + pragma Assert (W2 <= 255); + -- Add assumption to facilitate static analysis. Note + -- that we cannot use pragma Assume for bootstrap + -- reasons. Insert_Character (Character'Val (W2)); end; end if; @@ -759,7 +761,7 @@ package body Namet is Write_Eol; Write_Str ("Average number of probes for lookup = "); - pragma Assume (Nsyms /= 0); + pragma Assert (Nsyms /= 0); -- Add assumption to facilitate static analysis. Here Nsyms cannot be -- zero because many symbols are added to the table by default. Probes := Probes / Nsyms; |