diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-07-27 16:06:30 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-25 15:07:20 +0000 |
| commit | a3a6a0a50af2dd257682289703b721ba1b7863ca (patch) | |
| tree | 2352435a16edb403fad34d54a2f7a69b94f0c2e8 /gcc/tree-vrp.c | |
| parent | 9e67eed1efd54d17e863159086048be673e9587e (diff) | |
| download | gcc-a3a6a0a50af2dd257682289703b721ba1b7863ca.zip gcc-a3a6a0a50af2dd257682289703b721ba1b7863ca.tar.gz gcc-a3a6a0a50af2dd257682289703b721ba1b7863ca.tar.bz2 | |
[Ada] Global contracts on expression functions in Ada.Strings.Superbounded
gcc/ada/
* libgnat/a-strsup.ads (Super_Length, Super_Element,
Super_Slice): Add Global contracts.
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions