diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-12-19 10:23:55 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-06 11:11:27 +0200 |
| commit | e5a71415c32db32bf2c20a597f6191990ed1a0be (patch) | |
| tree | 6968ce82288b49be243ba25365da03b6646e2e7a /libada/Makefile.in | |
| parent | bd2462a8473b7ee7cabd4040553ae13606273723 (diff) | |
| download | gcc-e5a71415c32db32bf2c20a597f6191990ed1a0be.zip gcc-e5a71415c32db32bf2c20a597f6191990ed1a0be.tar.gz gcc-e5a71415c32db32bf2c20a597f6191990ed1a0be.tar.bz2 | |
ada: Replace redundant conditions with assertions
Fix warnings from the CodePeer. The code structure is essentially:
if A and B then ...
elsif not A and not B then ...
elsif A then ...
elsif B then ... -- this condition is redundant
end if;
and it causes CodePeer to say "exception is raised in a conditional
branch", which most likely means that the condition is redundant.
gcc/ada/
* make.adb (Scan_Make_Arg): Remove redundant condition.
* switch-b.adb (Scan_Debug_Switches): Likewise.
* switch-c.adb (Scan_Front_End_Switches): Likewise.
Diffstat (limited to 'libada/Makefile.in')
0 files changed, 0 insertions, 0 deletions