Clear assumption about assignment result in const-folder

This commit is contained in:
dzaima 2023-11-17 17:43:21 +02:00
parent 2b56a300bc
commit c8cdaf0216
2 changed files with 10 additions and 1 deletions

View File

@ -380,7 +380,8 @@ static OptRes opt(u32* bc0) {
if (!isVar(s.v)) goto defIns;
cact = 2; RM(s.p);
TSADD(data, s.v.u);
TSSIZE(stk)-= SETM==*sbc? 2 : 1;
TSSIZE(stk)-= SETM==*sbc? 3 : 2;
TSADD(stk, SREF(bi_optOut, -1));
break;
}
case LSTO: case LSTM: { i32 len = *bc++;

View File

@ -61,3 +61,11 @@ X←1‿2{a⇐𝕘-𝕗}3‿4 ⋄ ⟨a⟩←x ⋄ +´a %% 4
# arguments
{x𝕩𝕩@𝕩x}-10 %% @-10
{𝕊: a"ab" (a"c")"d", a}¨ 4 %% 4<"ab","c""d", "ab","c"
{𝕊: a"ab" (a"c")"d", a}¨ 4 %% 4<"c""d", "c"
{𝕊: a"ab" (b"c")"d", a, b}¨ 4 %% 4<"c""d", "ab", "c"
{𝕊: a"ab" (a"c")"d", a}¨ 4 %% 4<"ab","c""d", "ab","c"
{𝕊: a"ab" (a"c")"d", a}¨ 4 %% 4<"c""d", "c"
{𝕊: a"ab" (b"c")"d", a, b}¨ 4 %% 4<"c""d", "ab", "c"