diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-07-30 16:17:29 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-23 10:51:04 +0200 |
| commit | ff356c0ab4cf514eaffc847df3c8717a5ee705d6 (patch) | |
| tree | 3b346053ea8fcec84850e761f609dd3a8c902b8c /gcc/ada/sigtramp-ios.c | |
| parent | f67d108dbcd499cd6db6cb59484c400301e4ebd9 (diff) | |
| download | gcc-ff356c0ab4cf514eaffc847df3c8717a5ee705d6.zip gcc-ff356c0ab4cf514eaffc847df3c8717a5ee705d6.tar.gz gcc-ff356c0ab4cf514eaffc847df3c8717a5ee705d6.tar.bz2 | |
ada: Cleanup validity of boolean operators
Move detection of always valid expressions from routine
Ensure_Valid (which inserts validity checks) to Expr_Known_Valid
(which decides their validity). In particular, this patch removes
duplicated detection of boolean operators, which were recognized
in both these routines.
Code cleanup; behavior is unaffected.
gcc/ada/
* checks.adb (Ensure_Valid): Remove detection of boolean and
short-circuit operators.
(Expr_Known_Valid): Detect short-circuit operators; detection of
boolean operators was already done in this routine.
Diffstat (limited to 'gcc/ada/sigtramp-ios.c')
0 files changed, 0 insertions, 0 deletions