diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-18 15:52:55 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:50 -0500 |
| commit | c2dc9fb66147830f1ca83206543bbef7f3966a40 (patch) | |
| tree | 1d7b1dc7d76bc312d6230eeea0d44bf7fda47e32 /gcc/gcov.c | |
| parent | 2c40c60ecb32a2200c3a4087521b9f35cc08763e (diff) | |
| download | gcc-c2dc9fb66147830f1ca83206543bbef7f3966a40.zip gcc-c2dc9fb66147830f1ca83206543bbef7f3966a40.tar.gz gcc-c2dc9fb66147830f1ca83206543bbef7f3966a40.tar.bz2 | |
[Ada] Simplify prevention of cascaded errors for Refined_State
gcc/ada/
* sem_prag.adb (Analyze_Refinement_Clause): Simplify recently
added code for preventing cascaded errors.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions