diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-08-23 12:57:35 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-04 14:47:30 +0100 |
| commit | 72baa4e2b7f8dfdb2c49950e12a397ef00d3bc16 (patch) | |
| tree | 62d16a39657a2468227972152b990b0caea1c7cd /gcc/expr.cc | |
| parent | 7e1fe87899932e2c265fd0a13b2ac552b0865e0f (diff) | |
| download | gcc-72baa4e2b7f8dfdb2c49950e12a397ef00d3bc16.zip gcc-72baa4e2b7f8dfdb2c49950e12a397ef00d3bc16.tar.gz gcc-72baa4e2b7f8dfdb2c49950e12a397ef00d3bc16.tar.bz2 | |
ada: Cleanup code for warnings about unset references
Cleanup related to new checks for unset references.
gcc/ada/
* sem_util.adb
(In_Pragma_Expression): Add standard guard against searching too
far.
(In_Quantified_Expression): Likewise.
* sem_warn.adb
(May_Need_Initialized_Actual): Remove redundant parens.
(Check_References): Remove guard that duplicates a condition from
the enclosing if-statement; only assign E1T variable when
necessary.
(Within_Postcondition): Fix layout.
(No_Warn_On_In_Out): Balance parens in comment.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions