/*
REQUIRED_ARGS: -betterC
PERMUTE_ARGS:
RUN_OUTPUT:
---
S.this()
inside
S.~this()
f1
f2
3
---
 */

import core.stdc.stdio;

extern (C) int main()
{
    auto j = test(1);
    assert(j == 3);
    assert(Sdtor == 1);

    test2();
    return 0;
}

int test(int i) nothrow
{
  {
    S s = S(3);
    printf("inside\n");
    assert(Sctor == 1);
    assert(Sdtor == 0);
    return s.i;
  }
  printf("done\n");
  return -1;
}

__gshared int Sctor;
__gshared int Sdtor;

struct S
{
    int i;
    this(int i) nothrow
    {
        this.i += i;
        printf("S.this()\n");
        ++Sctor;
    }

    ~this() nothrow
    {
        assert(i == 3);
        i = 0;
        printf("S.~this()\n");
        ++Sdtor;
    }
}

/*************************************/

void test2()
{
    int i = 3;
    try
    {
        try
        {
            ++i;
            goto L10;
        }
        finally
        {
            i *= 2;
            printf("f1\n");
        }
    }
    finally
    {
        i += 5;
        printf("f2\n");
    }

L10:
    printf("3\n");
    assert(i == (3 + 1) * 2 + 5);
}