projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44ecd94) | patch
[Ada] Compiler abort on in_out function parameter with type invariant
authorEd Schonberg <schonberg@adacore.com>
Wed, 8 Jul 2020 13:04:16 +0000 (09:04 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 19 Oct 2020 09:53:40 +0000 (05:53 -0400)
commit5f396397f6ed41e58f5708a645dbbb218421d4e3
treea9d83f243f6e94e85b1db43ff5a2ddf9cbd23063tree
parent44ecd94cc7daf60ed04a81107c8d52c23cfef84dcommit | diff
[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.
gcc/ada/exp_ch6.adb diff | blob | history