]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d2b60e) | patch
ada: Avoid giving multiple errors on ghost argument
authorViljar Indus <indus@adacore.com>
Tue, 31 Mar 2026 09:04:37 +0000 (12:04 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 2 Jun 2026 08:42:21 +0000 (10:42 +0200)
commit5200b096cedd09a51fecffebc19ae699d2d5a160
tree8794e595cb7375b11a9398fc87be71f584de492etree | snapshot
parent8d2b60e5d85584648675be0383fa6edbdb322659commit | diff
ada: Avoid giving multiple errors on ghost argument

Avoid marking multiple errors on the same line if the ghost
expression is both non-static and also would evaluate to False.

gcc/ada/ChangeLog:

* sem_prag.adb (Analyze_Abstract_State): make error checks
exclusive.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git