diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-01-16 13:08:18 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-07 09:55:57 +0200 |
| commit | 36ddd8c0988164e2299f1de57866931386e4ceea (patch) | |
| tree | 82b6614f46a347913de0c73da60a65fcf0fa62f6 /gcc/ada/lib.ads | |
| parent | 3e01dfa72623ede64ff2e92f6852d1fd07e8898d (diff) | |
| download | gcc-36ddd8c0988164e2299f1de57866931386e4ceea.zip gcc-36ddd8c0988164e2299f1de57866931386e4ceea.tar.gz gcc-36ddd8c0988164e2299f1de57866931386e4ceea.tar.bz2 | |
ada: Cleanup detection of per-object constraints in inlining for SPARK
In GNATprove mode we didn't inline subprograms whose formal parameters
was of a record type with constraints depending on discriminants. Now
this is extended to formal parameters with per-object constraints,
regardless if they come from references to discriminants or from
attributes prefixed by the current type instance.
gcc/ada/
* inline.adb (Has_Formal_With_Per_Object_Constrained_Component):
Use flag Has_Per_Object_Constraint which is set by analysis;
rename for consistency.
Diffstat (limited to 'gcc/ada/lib.ads')
0 files changed, 0 insertions, 0 deletions