Do not hoist declarations of mutated variables

Declarations/initializations of non-constant variables must not be hoisted from loops because it changes the semantics of the code.

For example:

for (...) {
  int i = 0; // <- rhs is invariant but lhs is not
  for (...) {
    i += 1;
  }
}

Previously got falsly transformed to:

int i = 0;
for (...) {
  for (...) {
    i += 1;
  }
}

added Bug label

requested review from @da15siwa

assigned to @he66coqe

changed title from Bauerd/fix hoisting to Do not hoist declarations of mutated variables

mentioned in commit d0654625

approved this merge request

merged