diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-07-11 08:01:30 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-11 08:01:30 +0000 |
| commit | ccf173059688499749a30b3252cc3c4ea4ab0d0c (patch) | |
| tree | 9f6cb8f06328b7298cccd7e69f9360f70b98d372 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | a1a8b1726cf8de2ed244353a9c8cd2fab12e4c71 (diff) | |
| download | gcc-ccf173059688499749a30b3252cc3c4ea4ab0d0c.zip gcc-ccf173059688499749a30b3252cc3c4ea4ab0d0c.tar.gz gcc-ccf173059688499749a30b3252cc3c4ea4ab0d0c.tar.bz2 | |
[Ada] No warning for guaranteed accessibility check failures
This patch corrects the generation of dynamic accessibility checks which
are guaranteed to trigger errors during run time so as to give the user
proper warning during unit compiliation.
2019-07-11 Justin Squirek <squirek@adacore.com>
gcc/ada/
* checks.adb (Apply_Accessibility_Check): Add check for constant
folded conditions on accessibility checks.
gcc/testsuite/
* gnat.dg/access7.adb: New testcase.
From-SVN: r273381
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions