diff options
| author | Claire Dross <dross@adacore.com> | 2019-09-17 08:01:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-17 08:01:58 +0000 |
| commit | 77562afd5b514434c7f6cacaeb1eaaa234d19736 (patch) | |
| tree | 914ddecace756059e0d0c95baaf844b165e741b8 /gcc/tree-ssa-threadupdate.c | |
| parent | 402b91503e266ad8337be9cf05ea967fbe4cbe3c (diff) | |
| download | gcc-77562afd5b514434c7f6cacaeb1eaaa234d19736.zip gcc-77562afd5b514434c7f6cacaeb1eaaa234d19736.tar.gz gcc-77562afd5b514434c7f6cacaeb1eaaa234d19736.tar.bz2 | |
[Ada] Support chained calls to traversal functions in SPARK
This change only affects the SPARK toolset. In the part of semantic
analysis enforcing ownership rules for SPARK, it corrects a crash in
analysis of a declaration of a local borrower whose definition is a
chain of several calls to traversal functions.
2019-09-17 Claire Dross <dross@adacore.com>
gcc/ada/
* sem_spark.adb (Get_Observed_Or_Borrowed_Expr): If the
definition of a local borrower contains calls to traversal
functions, the borrowed expression is the first parameter of the
first traversal function call in the definition.
From-SVN: r275785
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
0 files changed, 0 insertions, 0 deletions