diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2020-07-08 09:04:16 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-19 05:53:40 -0400 |
| commit | 5f396397f6ed41e58f5708a645dbbb218421d4e3 (patch) | |
| tree | a9d83f243f6e94e85b1db43ff5a2ddf9cbd23063 /libcpp/internal.h | |
| parent | 44ecd94cc7daf60ed04a81107c8d52c23cfef84d (diff) | |
| download | gcc-5f396397f6ed41e58f5708a645dbbb218421d4e3.zip gcc-5f396397f6ed41e58f5708a645dbbb218421d4e3.tar.gz gcc-5f396397f6ed41e58f5708a645dbbb218421d4e3.tar.bz2 | |
[Ada] Compiler abort on in_out function parameter with type invariant
gcc/ada/
* exp_ch6.adb (Add_View_Conversion_Invariants): Do not insert
generated invariant checks when the call is a function call.
These tests are properly inserted in the code in procedure
Insert_Post_Call_Actions, which takes care of finding the proper
insertion point for the checks.
(Insert_Post_Call_Actions): Add question marks to indicate
possible gap in handling function calls that appear as aggregate
components.
Diffstat (limited to 'libcpp/internal.h')
0 files changed, 0 insertions, 0 deletions