будет использование переменных утечек утечек?

Это правда, что GOTO переходит через биты кода без вызова разрушителей и вещей?

E.g.

void f() {
   int x = 0;
   goto lol;
}

int main() {
   f();
lol:
   return 0;
}

не будет x утечка?