diff options
| author | Matthieu Eyraud <eyraud@adacore.com> | 2021-07-02 14:37:55 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-04 08:45:09 +0000 |
| commit | 3a6f30ed5da68be1fbc53a801093f31615db619b (patch) | |
| tree | 420893359ad0eb7fc486fdc5c756d5ee40e68945 /gcc/expr.c | |
| parent | 8f721245b4870dfe79a769b3bd0100155d4df7c2 (diff) | |
| download | gcc-3a6f30ed5da68be1fbc53a801093f31615db619b.zip gcc-3a6f30ed5da68be1fbc53a801093f31615db619b.tar.gz gcc-3a6f30ed5da68be1fbc53a801093f31615db619b.tar.bz2 | |
[Ada] Emit specific SCOs for decisions of quantified expressions
gcc/ada/
* scos.ads: Extend the documentation.
* par_sco.adb (Process_Decisions): Emit specific SCOs for
quantified expressions.
Diffstat (limited to 'gcc/expr.c')
0 files changed, 0 insertions, 0 deletions