%% %CopyrightBegin%
%%
%% Copyright Ericsson AB 2024. All Rights Reserved.
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
%% You may obtain a copy of the License at
%%
%%     http://www.apache.org/licenses/LICENSE-2.0
%%
%% Unless required by applicable law or agreed to in writing, software
%% distributed under the License is distributed on an "AS IS" BASIS,
%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%% See the License for the specific language governing permissions and
%% limitations under the License.
%%
%% %CopyrightEnd%
%%
%% Check that the compiler doesn't enter an infinte loop while trying
%% to run the destructive update pass.
%%
-module(tuple_inplace_abort1).

-export([f/0]).

-record(rec, {a, b = ext:ernal()}).

f() ->
    g({#rec{}}).

g({A}) ->
%ssa% xfail (_) when post_ssa_opt ->
%ssa% _ = update_record(inplace, 3, ...).
    g(A);
g(#rec{} = A) ->
    A#rec{ a = a }.
