From: Justin Squirek
Incremental improvement/clean up.
gcc/ada/
* sem_warn.adb (Within_Postcondition): Add/modify comments to
document various cases.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_warn.adb | 4
1 file changed, 4 insertions(+)
diff -
From: Justin Squirek
This patch fixes an error in the compiler whereby an assignment to an out
formal (whose type requires a predicate check) can lead to spurious
"value may be referenced before it has a value" warnings when the RHS is a
qualified expression.
gcc/ada/
* sem_warn.adb (Wi
From: Justin Squirek
Incremental improvement/clean up.
gcc/ada/
* sem_warn.adb (Within_Postcondition): Add coverage for
Preconditions
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_warn.adb | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --g
From: Justin Squirek
Incremental improvement/clean up.
gcc/ada/
* sem_warn.adb (Within_Postcondition): Renamed to
Within_Contract_Or_Predicate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_warn.adb | 20 ++--
1 file changed, 10 insertion
