diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-08 11:41:42 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:18 +0200 |
commit | 50832e4a92988e3c3388fa24871cd960828ac3f7 (patch) | |
tree | 1735744b2a16cddb3ebdac19128ab2eb3eaec1a2 /gcc/tree-vectorizer.h | |
parent | d50e1383be73ef9cdc9f0d0813fa0e1208657789 (diff) | |
download | gcc-50832e4a92988e3c3388fa24871cd960828ac3f7.zip gcc-50832e4a92988e3c3388fa24871cd960828ac3f7.tar.gz gcc-50832e4a92988e3c3388fa24871cd960828ac3f7.tar.bz2 |
ada: Deconstruct a no longer used parameter of New_Copy_Tree
Parameter Scopes_In_EWA_OK of New_Copy_Tree was introduced in 2018 to
deal with expressions-with-actions (EWA) in the build-in-place
machinery. However, after changes made in 2022 it is no longer used by
any caller.
Cleanup related to handling of expression functions in GNATprove;
semantics is unaffected.
gcc/ada/
* sem_util.ads (New_Copy_Tree): Remove Scopes_In_EWA_OK from spec;
adapt comment.
* sem_util.adb (New_Copy_Tree): Remove Scopes_In_EWA_OK from body;
adapt code.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions