diff --git a/src/test/correct/arrays_simple/clang/arrays_simple.gts b/src/test/correct/arrays_simple/clang/arrays_simple.gts
index 3345ca77c..ad821df0a 100644
Binary files a/src/test/correct/arrays_simple/clang/arrays_simple.gts and b/src/test/correct/arrays_simple/clang/arrays_simple.gts differ
diff --git a/src/test/correct/arrays_simple/clang_O2/arrays_simple.gts b/src/test/correct/arrays_simple/clang_O2/arrays_simple.gts
index 23fd95e14..938d6a71a 100644
Binary files a/src/test/correct/arrays_simple/clang_O2/arrays_simple.gts and b/src/test/correct/arrays_simple/clang_O2/arrays_simple.gts differ
diff --git a/src/test/correct/arrays_simple/clang_no_plt_no_pic/arrays_simple.gts b/src/test/correct/arrays_simple/clang_no_plt_no_pic/arrays_simple.gts
index f43864f16..5d1bf7dba 100644
Binary files a/src/test/correct/arrays_simple/clang_no_plt_no_pic/arrays_simple.gts and b/src/test/correct/arrays_simple/clang_no_plt_no_pic/arrays_simple.gts differ
diff --git a/src/test/correct/arrays_simple/clang_pic/arrays_simple.gts b/src/test/correct/arrays_simple/clang_pic/arrays_simple.gts
index 30450c98f..c1fb909c2 100644
Binary files a/src/test/correct/arrays_simple/clang_pic/arrays_simple.gts and b/src/test/correct/arrays_simple/clang_pic/arrays_simple.gts differ
diff --git a/src/test/correct/arrays_simple/gcc/arrays_simple.gts b/src/test/correct/arrays_simple/gcc/arrays_simple.gts
index 38cfa3c41..d79e57906 100644
Binary files a/src/test/correct/arrays_simple/gcc/arrays_simple.gts and b/src/test/correct/arrays_simple/gcc/arrays_simple.gts differ
diff --git a/src/test/correct/arrays_simple/gcc_O2/arrays_simple.gts b/src/test/correct/arrays_simple/gcc_O2/arrays_simple.gts
index 2e7138314..73e434dec 100644
Binary files a/src/test/correct/arrays_simple/gcc_O2/arrays_simple.gts and b/src/test/correct/arrays_simple/gcc_O2/arrays_simple.gts differ
diff --git a/src/test/correct/arrays_simple/gcc_pic/arrays_simple.gts b/src/test/correct/arrays_simple/gcc_pic/arrays_simple.gts
index 937b83e3b..79a0486e5 100644
Binary files a/src/test/correct/arrays_simple/gcc_pic/arrays_simple.gts and b/src/test/correct/arrays_simple/gcc_pic/arrays_simple.gts differ
diff --git a/src/test/correct/basic_arrays_read/clang/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/clang/basic_arrays_read.gts
index 229ab27a9..a4a6cb6b3 100644
Binary files a/src/test/correct/basic_arrays_read/clang/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/clang/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/clang_O2/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/clang_O2/basic_arrays_read.gts
index 686ec81c7..87af67faa 100644
Binary files a/src/test/correct/basic_arrays_read/clang_O2/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/clang_O2/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/clang_no_plt_no_pic/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/clang_no_plt_no_pic/basic_arrays_read.gts
index fce6874b5..f8a3b1723 100644
Binary files a/src/test/correct/basic_arrays_read/clang_no_plt_no_pic/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/clang_no_plt_no_pic/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/clang_pic/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/clang_pic/basic_arrays_read.gts
index 5ae061529..d859d8f46 100644
Binary files a/src/test/correct/basic_arrays_read/clang_pic/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/clang_pic/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/gcc/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/gcc/basic_arrays_read.gts
index e88710816..643ec4df0 100644
Binary files a/src/test/correct/basic_arrays_read/gcc/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/gcc/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/gcc_O2/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/gcc_O2/basic_arrays_read.gts
index 5faecd626..dc8daf371 100644
Binary files a/src/test/correct/basic_arrays_read/gcc_O2/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/gcc_O2/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/gcc_no_plt_no_pic/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/gcc_no_plt_no_pic/basic_arrays_read.gts
index 9b19db4f1..61269e335 100644
Binary files a/src/test/correct/basic_arrays_read/gcc_no_plt_no_pic/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/gcc_no_plt_no_pic/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_read/gcc_pic/basic_arrays_read.gts b/src/test/correct/basic_arrays_read/gcc_pic/basic_arrays_read.gts
index 2e74c96a4..0ce07e684 100644
Binary files a/src/test/correct/basic_arrays_read/gcc_pic/basic_arrays_read.gts and b/src/test/correct/basic_arrays_read/gcc_pic/basic_arrays_read.gts differ
diff --git a/src/test/correct/basic_arrays_write/clang/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/clang/basic_arrays_write.gts
index 556b5c9b0..6a3a4200d 100644
Binary files a/src/test/correct/basic_arrays_write/clang/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/clang/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/clang_O2/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/clang_O2/basic_arrays_write.gts
index b1d8d3b88..aaee1419e 100644
Binary files a/src/test/correct/basic_arrays_write/clang_O2/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/clang_O2/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/clang_no_plt_no_pic/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/clang_no_plt_no_pic/basic_arrays_write.gts
index 7234e8fd4..3bd326d60 100644
Binary files a/src/test/correct/basic_arrays_write/clang_no_plt_no_pic/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/clang_no_plt_no_pic/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/clang_pic/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/clang_pic/basic_arrays_write.gts
index 1f57e66a1..94c73108c 100644
Binary files a/src/test/correct/basic_arrays_write/clang_pic/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/clang_pic/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/gcc/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/gcc/basic_arrays_write.gts
index 9fb6205f2..8b618abda 100644
Binary files a/src/test/correct/basic_arrays_write/gcc/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/gcc/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/gcc_O2/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/gcc_O2/basic_arrays_write.gts
index ea5812dc2..5f9b05371 100644
Binary files a/src/test/correct/basic_arrays_write/gcc_O2/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/gcc_O2/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/gcc_no_plt_no_pic/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/gcc_no_plt_no_pic/basic_arrays_write.gts
index 47fdb4c70..ee7afb1fe 100644
Binary files a/src/test/correct/basic_arrays_write/gcc_no_plt_no_pic/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/gcc_no_plt_no_pic/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_arrays_write/gcc_pic/basic_arrays_write.gts b/src/test/correct/basic_arrays_write/gcc_pic/basic_arrays_write.gts
index e03b379be..c22bb0fdc 100644
Binary files a/src/test/correct/basic_arrays_write/gcc_pic/basic_arrays_write.gts and b/src/test/correct/basic_arrays_write/gcc_pic/basic_arrays_write.gts differ
diff --git a/src/test/correct/basic_assign_assign/clang/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/clang/basic_assign_assign.gts
index a63e53f2b..38c472ccc 100644
Binary files a/src/test/correct/basic_assign_assign/clang/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/clang/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/clang_O2/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/clang_O2/basic_assign_assign.gts
index 272127853..dc65c35ee 100644
Binary files a/src/test/correct/basic_assign_assign/clang_O2/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/clang_O2/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/clang_no_plt_no_pic/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/clang_no_plt_no_pic/basic_assign_assign.gts
index 1570d59bb..b49012aea 100644
Binary files a/src/test/correct/basic_assign_assign/clang_no_plt_no_pic/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/clang_no_plt_no_pic/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/clang_pic/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/clang_pic/basic_assign_assign.gts
index 80080d011..d10715a11 100644
Binary files a/src/test/correct/basic_assign_assign/clang_pic/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/clang_pic/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/gcc/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/gcc/basic_assign_assign.gts
index 9e10ef3b3..0f6ea06e5 100644
Binary files a/src/test/correct/basic_assign_assign/gcc/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/gcc/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/gcc_O2/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/gcc_O2/basic_assign_assign.gts
index 0c788f994..ac63e1d6d 100644
Binary files a/src/test/correct/basic_assign_assign/gcc_O2/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/gcc_O2/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/gcc_no_plt_no_pic/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/gcc_no_plt_no_pic/basic_assign_assign.gts
index 3522b181b..a816e3671 100644
Binary files a/src/test/correct/basic_assign_assign/gcc_no_plt_no_pic/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/gcc_no_plt_no_pic/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_assign/gcc_pic/basic_assign_assign.gts b/src/test/correct/basic_assign_assign/gcc_pic/basic_assign_assign.gts
index 518d9716b..c0c24c1e3 100644
Binary files a/src/test/correct/basic_assign_assign/gcc_pic/basic_assign_assign.gts and b/src/test/correct/basic_assign_assign/gcc_pic/basic_assign_assign.gts differ
diff --git a/src/test/correct/basic_assign_increment/clang/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/clang/basic_assign_increment.gts
index 77608fb06..20d562ca6 100644
Binary files a/src/test/correct/basic_assign_increment/clang/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/clang/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/clang_O2/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/clang_O2/basic_assign_increment.gts
index 62803baea..04606f877 100644
Binary files a/src/test/correct/basic_assign_increment/clang_O2/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/clang_O2/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/clang_no_plt_no_pic/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/clang_no_plt_no_pic/basic_assign_increment.gts
index 2671e202e..2fa65de6e 100644
Binary files a/src/test/correct/basic_assign_increment/clang_no_plt_no_pic/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/clang_no_plt_no_pic/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/clang_pic/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/clang_pic/basic_assign_increment.gts
index e70fd3400..452d761b0 100644
Binary files a/src/test/correct/basic_assign_increment/clang_pic/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/clang_pic/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/gcc/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/gcc/basic_assign_increment.gts
index b4c124586..f1f88dba4 100644
Binary files a/src/test/correct/basic_assign_increment/gcc/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/gcc/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/gcc_O2/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/gcc_O2/basic_assign_increment.gts
index 57459215a..170d4b3f9 100644
Binary files a/src/test/correct/basic_assign_increment/gcc_O2/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/gcc_O2/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/gcc_no_plt_no_pic/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/gcc_no_plt_no_pic/basic_assign_increment.gts
index 685ddd724..752c55f3f 100644
Binary files a/src/test/correct/basic_assign_increment/gcc_no_plt_no_pic/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/gcc_no_plt_no_pic/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_assign_increment/gcc_pic/basic_assign_increment.gts b/src/test/correct/basic_assign_increment/gcc_pic/basic_assign_increment.gts
index 8a79797ef..0efd67fc1 100644
Binary files a/src/test/correct/basic_assign_increment/gcc_pic/basic_assign_increment.gts and b/src/test/correct/basic_assign_increment/gcc_pic/basic_assign_increment.gts differ
diff --git a/src/test/correct/basic_function_call_caller/clang/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/clang/basic_function_call_caller.gts
index ab5f0938e..c50e45d68 100644
Binary files a/src/test/correct/basic_function_call_caller/clang/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/clang/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/clang_O2/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/clang_O2/basic_function_call_caller.gts
index 8805d94aa..35d6e64a7 100644
Binary files a/src/test/correct/basic_function_call_caller/clang_O2/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/clang_O2/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/clang_no_plt_no_pic/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/clang_no_plt_no_pic/basic_function_call_caller.gts
index 413a7bbda..30fbc635e 100644
Binary files a/src/test/correct/basic_function_call_caller/clang_no_plt_no_pic/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/clang_no_plt_no_pic/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/clang_pic/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/clang_pic/basic_function_call_caller.gts
index ba6fb2677..35e01c952 100644
Binary files a/src/test/correct/basic_function_call_caller/clang_pic/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/clang_pic/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/gcc/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/gcc/basic_function_call_caller.gts
index f4482e48d..c0409d4e3 100644
Binary files a/src/test/correct/basic_function_call_caller/gcc/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/gcc/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/gcc_O2/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/gcc_O2/basic_function_call_caller.gts
index 2007a15b6..6000aae35 100644
Binary files a/src/test/correct/basic_function_call_caller/gcc_O2/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/gcc_O2/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/gcc_no_plt_no_pic/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/gcc_no_plt_no_pic/basic_function_call_caller.gts
index 2d20403e3..d27a44d01 100644
Binary files a/src/test/correct/basic_function_call_caller/gcc_no_plt_no_pic/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/gcc_no_plt_no_pic/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_caller/gcc_pic/basic_function_call_caller.gts b/src/test/correct/basic_function_call_caller/gcc_pic/basic_function_call_caller.gts
index e1c783093..044701d8f 100644
Binary files a/src/test/correct/basic_function_call_caller/gcc_pic/basic_function_call_caller.gts and b/src/test/correct/basic_function_call_caller/gcc_pic/basic_function_call_caller.gts differ
diff --git a/src/test/correct/basic_function_call_reader/clang/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/clang/basic_function_call_reader.gts
index d2836b050..1ad06fef0 100644
Binary files a/src/test/correct/basic_function_call_reader/clang/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/clang/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/clang_O2/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/clang_O2/basic_function_call_reader.gts
index 82dc0a90e..f6a87d909 100644
Binary files a/src/test/correct/basic_function_call_reader/clang_O2/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/clang_O2/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/clang_no_plt_no_pic/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/clang_no_plt_no_pic/basic_function_call_reader.gts
index 12ef57d95..b0a0ed59d 100644
Binary files a/src/test/correct/basic_function_call_reader/clang_no_plt_no_pic/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/clang_no_plt_no_pic/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/clang_pic/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/clang_pic/basic_function_call_reader.gts
index 3920a7080..fd5e5030a 100644
Binary files a/src/test/correct/basic_function_call_reader/clang_pic/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/clang_pic/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/gcc/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/gcc/basic_function_call_reader.gts
index bde59cb09..4f0169b25 100644
Binary files a/src/test/correct/basic_function_call_reader/gcc/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/gcc/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/gcc_O2/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/gcc_O2/basic_function_call_reader.gts
index 33ca883b1..8ae173ded 100644
Binary files a/src/test/correct/basic_function_call_reader/gcc_O2/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/gcc_O2/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/gcc_no_plt_no_pic/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/gcc_no_plt_no_pic/basic_function_call_reader.gts
index 9920e842c..cd42f481b 100644
Binary files a/src/test/correct/basic_function_call_reader/gcc_no_plt_no_pic/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/gcc_no_plt_no_pic/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_function_call_reader/gcc_pic/basic_function_call_reader.gts b/src/test/correct/basic_function_call_reader/gcc_pic/basic_function_call_reader.gts
index 027d83ba4..96646de2e 100644
Binary files a/src/test/correct/basic_function_call_reader/gcc_pic/basic_function_call_reader.gts and b/src/test/correct/basic_function_call_reader/gcc_pic/basic_function_call_reader.gts differ
diff --git a/src/test/correct/basic_lock_read/clang/basic_lock_read.gts b/src/test/correct/basic_lock_read/clang/basic_lock_read.gts
index 51af1410c..894d667a1 100644
Binary files a/src/test/correct/basic_lock_read/clang/basic_lock_read.gts and b/src/test/correct/basic_lock_read/clang/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/clang_O2/basic_lock_read.gts b/src/test/correct/basic_lock_read/clang_O2/basic_lock_read.gts
index b1a22af25..092c096d3 100644
Binary files a/src/test/correct/basic_lock_read/clang_O2/basic_lock_read.gts and b/src/test/correct/basic_lock_read/clang_O2/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/clang_no_plt_no_pic/basic_lock_read.gts b/src/test/correct/basic_lock_read/clang_no_plt_no_pic/basic_lock_read.gts
index faff50ed8..c62254625 100644
Binary files a/src/test/correct/basic_lock_read/clang_no_plt_no_pic/basic_lock_read.gts and b/src/test/correct/basic_lock_read/clang_no_plt_no_pic/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/clang_pic/basic_lock_read.gts b/src/test/correct/basic_lock_read/clang_pic/basic_lock_read.gts
index 4b94a6d6b..99a8ee82f 100644
Binary files a/src/test/correct/basic_lock_read/clang_pic/basic_lock_read.gts and b/src/test/correct/basic_lock_read/clang_pic/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/gcc/basic_lock_read.gts b/src/test/correct/basic_lock_read/gcc/basic_lock_read.gts
index 8721de5c5..cbfa3da67 100644
Binary files a/src/test/correct/basic_lock_read/gcc/basic_lock_read.gts and b/src/test/correct/basic_lock_read/gcc/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/gcc_O2/basic_lock_read.gts b/src/test/correct/basic_lock_read/gcc_O2/basic_lock_read.gts
index b3b81b403..e4c578e14 100644
Binary files a/src/test/correct/basic_lock_read/gcc_O2/basic_lock_read.gts and b/src/test/correct/basic_lock_read/gcc_O2/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/gcc_no_plt_no_pic/basic_lock_read.gts b/src/test/correct/basic_lock_read/gcc_no_plt_no_pic/basic_lock_read.gts
index 6f5b076c2..ce3b0f29b 100644
Binary files a/src/test/correct/basic_lock_read/gcc_no_plt_no_pic/basic_lock_read.gts and b/src/test/correct/basic_lock_read/gcc_no_plt_no_pic/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_read/gcc_pic/basic_lock_read.gts b/src/test/correct/basic_lock_read/gcc_pic/basic_lock_read.gts
index bba6b1559..30604cd49 100644
Binary files a/src/test/correct/basic_lock_read/gcc_pic/basic_lock_read.gts and b/src/test/correct/basic_lock_read/gcc_pic/basic_lock_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/clang/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/clang/basic_lock_security_read.gts
index 67bebfad2..03d727cbf 100644
Binary files a/src/test/correct/basic_lock_security_read/clang/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/clang/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/clang_O2/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/clang_O2/basic_lock_security_read.gts
index 5b501b699..39021964a 100644
Binary files a/src/test/correct/basic_lock_security_read/clang_O2/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/clang_O2/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/clang_no_plt_no_pic/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/clang_no_plt_no_pic/basic_lock_security_read.gts
index 508b7a936..884aafc2b 100644
Binary files a/src/test/correct/basic_lock_security_read/clang_no_plt_no_pic/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/clang_no_plt_no_pic/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/clang_pic/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/clang_pic/basic_lock_security_read.gts
index ffa5f4d21..55ae13417 100644
Binary files a/src/test/correct/basic_lock_security_read/clang_pic/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/clang_pic/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/gcc/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/gcc/basic_lock_security_read.gts
index ed56d6c7a..d7e11ea2b 100644
Binary files a/src/test/correct/basic_lock_security_read/gcc/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/gcc/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/gcc_O2/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/gcc_O2/basic_lock_security_read.gts
index 15020e8f0..7e5492cf4 100644
Binary files a/src/test/correct/basic_lock_security_read/gcc_O2/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/gcc_O2/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/gcc_no_plt_no_pic/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/gcc_no_plt_no_pic/basic_lock_security_read.gts
index 0d365010f..bd6b46879 100644
Binary files a/src/test/correct/basic_lock_security_read/gcc_no_plt_no_pic/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/gcc_no_plt_no_pic/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_read/gcc_pic/basic_lock_security_read.gts b/src/test/correct/basic_lock_security_read/gcc_pic/basic_lock_security_read.gts
index cc7d19697..ff2425161 100644
Binary files a/src/test/correct/basic_lock_security_read/gcc_pic/basic_lock_security_read.gts and b/src/test/correct/basic_lock_security_read/gcc_pic/basic_lock_security_read.gts differ
diff --git a/src/test/correct/basic_lock_security_write/clang/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/clang/basic_lock_security_write.gts
index a675bd6d1..c532d18b4 100644
Binary files a/src/test/correct/basic_lock_security_write/clang/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/clang/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/clang_O2/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/clang_O2/basic_lock_security_write.gts
index 861057f7c..c38893762 100644
Binary files a/src/test/correct/basic_lock_security_write/clang_O2/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/clang_O2/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/clang_no_plt_no_pic/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/clang_no_plt_no_pic/basic_lock_security_write.gts
index 853092642..197fb21d7 100644
Binary files a/src/test/correct/basic_lock_security_write/clang_no_plt_no_pic/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/clang_no_plt_no_pic/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/clang_pic/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/clang_pic/basic_lock_security_write.gts
index 4833eb831..24019ac92 100644
Binary files a/src/test/correct/basic_lock_security_write/clang_pic/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/clang_pic/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/gcc/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/gcc/basic_lock_security_write.gts
index 3d4f22862..0b33fddf0 100644
Binary files a/src/test/correct/basic_lock_security_write/gcc/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/gcc/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/gcc_O2/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/gcc_O2/basic_lock_security_write.gts
index b81fa0578..a1bab3a82 100644
Binary files a/src/test/correct/basic_lock_security_write/gcc_O2/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/gcc_O2/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/gcc_no_plt_no_pic/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/gcc_no_plt_no_pic/basic_lock_security_write.gts
index 24d4d5121..5112b348e 100644
Binary files a/src/test/correct/basic_lock_security_write/gcc_no_plt_no_pic/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/gcc_no_plt_no_pic/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_security_write/gcc_pic/basic_lock_security_write.gts b/src/test/correct/basic_lock_security_write/gcc_pic/basic_lock_security_write.gts
index 5b6212671..fcbc7f620 100644
Binary files a/src/test/correct/basic_lock_security_write/gcc_pic/basic_lock_security_write.gts and b/src/test/correct/basic_lock_security_write/gcc_pic/basic_lock_security_write.gts differ
diff --git a/src/test/correct/basic_lock_unlock/clang/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/clang/basic_lock_unlock.gts
index 1ccf61ac9..2629fc52f 100644
Binary files a/src/test/correct/basic_lock_unlock/clang/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/clang/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/clang_O2/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/clang_O2/basic_lock_unlock.gts
index 62f5c5d85..c6e430958 100644
Binary files a/src/test/correct/basic_lock_unlock/clang_O2/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/clang_O2/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/clang_no_plt_no_pic/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/clang_no_plt_no_pic/basic_lock_unlock.gts
index aa62e8955..15497fdad 100644
Binary files a/src/test/correct/basic_lock_unlock/clang_no_plt_no_pic/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/clang_no_plt_no_pic/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/clang_pic/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/clang_pic/basic_lock_unlock.gts
index ecc489753..ffba4cb94 100644
Binary files a/src/test/correct/basic_lock_unlock/clang_pic/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/clang_pic/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/gcc/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/gcc/basic_lock_unlock.gts
index 945a001e9..158cf4d53 100644
Binary files a/src/test/correct/basic_lock_unlock/gcc/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/gcc/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/gcc_O2/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/gcc_O2/basic_lock_unlock.gts
index 1a5c4a872..8226d0f17 100644
Binary files a/src/test/correct/basic_lock_unlock/gcc_O2/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/gcc_O2/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/gcc_no_plt_no_pic/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/gcc_no_plt_no_pic/basic_lock_unlock.gts
index cec60afab..6b73b0070 100644
Binary files a/src/test/correct/basic_lock_unlock/gcc_no_plt_no_pic/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/gcc_no_plt_no_pic/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_lock_unlock/gcc_pic/basic_lock_unlock.gts b/src/test/correct/basic_lock_unlock/gcc_pic/basic_lock_unlock.gts
index feb2bc3a3..eca117785 100644
Binary files a/src/test/correct/basic_lock_unlock/gcc_pic/basic_lock_unlock.gts and b/src/test/correct/basic_lock_unlock/gcc_pic/basic_lock_unlock.gts differ
diff --git a/src/test/correct/basic_loop_assign/clang/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/clang/basic_loop_assign.gts
index b8a26dd97..13e0ca0a2 100644
Binary files a/src/test/correct/basic_loop_assign/clang/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/clang/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/clang_O2/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/clang_O2/basic_loop_assign.gts
index 9d5150971..f45506e56 100644
Binary files a/src/test/correct/basic_loop_assign/clang_O2/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/clang_O2/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/clang_no_plt_no_pic/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/clang_no_plt_no_pic/basic_loop_assign.gts
index ee83121fc..a41d03c73 100644
Binary files a/src/test/correct/basic_loop_assign/clang_no_plt_no_pic/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/clang_no_plt_no_pic/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/clang_pic/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/clang_pic/basic_loop_assign.gts
index 8f654fb69..4b1e6e859 100644
Binary files a/src/test/correct/basic_loop_assign/clang_pic/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/clang_pic/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/gcc/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/gcc/basic_loop_assign.gts
index 8e8324c3c..e4d969e94 100644
Binary files a/src/test/correct/basic_loop_assign/gcc/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/gcc/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/gcc_O2/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/gcc_O2/basic_loop_assign.gts
index 6e7c12f3e..25cce6063 100644
Binary files a/src/test/correct/basic_loop_assign/gcc_O2/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/gcc_O2/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/gcc_no_plt_no_pic/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/gcc_no_plt_no_pic/basic_loop_assign.gts
index d46723453..f6f18265f 100644
Binary files a/src/test/correct/basic_loop_assign/gcc_no_plt_no_pic/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/gcc_no_plt_no_pic/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_loop_assign/gcc_pic/basic_loop_assign.gts b/src/test/correct/basic_loop_assign/gcc_pic/basic_loop_assign.gts
index 32cdfe941..0c55fd6d0 100644
Binary files a/src/test/correct/basic_loop_assign/gcc_pic/basic_loop_assign.gts and b/src/test/correct/basic_loop_assign/gcc_pic/basic_loop_assign.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/clang/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/clang/basic_operation_evaluation.gts
index 151f82f12..2e0ad4ecc 100644
Binary files a/src/test/correct/basic_operation_evaluation/clang/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/clang/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/clang_O2/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/clang_O2/basic_operation_evaluation.gts
index 0cc88363a..84c96b512 100644
Binary files a/src/test/correct/basic_operation_evaluation/clang_O2/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/clang_O2/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/clang_no_plt_no_pic/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/clang_no_plt_no_pic/basic_operation_evaluation.gts
index 55c0a0c7c..62ba4fc2e 100644
Binary files a/src/test/correct/basic_operation_evaluation/clang_no_plt_no_pic/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/clang_no_plt_no_pic/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/clang_pic/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/clang_pic/basic_operation_evaluation.gts
index 48258ef67..c9366191b 100644
Binary files a/src/test/correct/basic_operation_evaluation/clang_pic/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/clang_pic/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/gcc/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/gcc/basic_operation_evaluation.gts
index a9e3f9b7d..0255cdc09 100644
Binary files a/src/test/correct/basic_operation_evaluation/gcc/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/gcc/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/gcc_O2/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/gcc_O2/basic_operation_evaluation.gts
index 9a94fea2b..3611a1522 100644
Binary files a/src/test/correct/basic_operation_evaluation/gcc_O2/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/gcc_O2/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/gcc_no_plt_no_pic/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/gcc_no_plt_no_pic/basic_operation_evaluation.gts
index 6d9e9f071..68919a2bd 100644
Binary files a/src/test/correct/basic_operation_evaluation/gcc_no_plt_no_pic/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/gcc_no_plt_no_pic/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_operation_evaluation/gcc_pic/basic_operation_evaluation.gts b/src/test/correct/basic_operation_evaluation/gcc_pic/basic_operation_evaluation.gts
index 90ed2f3d4..9827b9f08 100644
Binary files a/src/test/correct/basic_operation_evaluation/gcc_pic/basic_operation_evaluation.gts and b/src/test/correct/basic_operation_evaluation/gcc_pic/basic_operation_evaluation.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/clang/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/clang/basic_sec_policy_read.gts
index eafcf77d1..0fa49a4e5 100644
Binary files a/src/test/correct/basic_sec_policy_read/clang/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/clang/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/clang_O2/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/clang_O2/basic_sec_policy_read.gts
index d70fd9d11..38b945259 100644
Binary files a/src/test/correct/basic_sec_policy_read/clang_O2/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/clang_O2/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/clang_no_plt_no_pic/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/clang_no_plt_no_pic/basic_sec_policy_read.gts
index 814f8c8ce..eb0ee09e0 100644
Binary files a/src/test/correct/basic_sec_policy_read/clang_no_plt_no_pic/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/clang_no_plt_no_pic/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/clang_pic/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/clang_pic/basic_sec_policy_read.gts
index ad2a90443..d61ae5f77 100644
Binary files a/src/test/correct/basic_sec_policy_read/clang_pic/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/clang_pic/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/gcc/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/gcc/basic_sec_policy_read.gts
index ebf450b81..0a732ac79 100644
Binary files a/src/test/correct/basic_sec_policy_read/gcc/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/gcc/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/gcc_O2/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/gcc_O2/basic_sec_policy_read.gts
index c28ce955e..22ff3fdf0 100644
Binary files a/src/test/correct/basic_sec_policy_read/gcc_O2/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/gcc_O2/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/gcc_no_plt_no_pic/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/gcc_no_plt_no_pic/basic_sec_policy_read.gts
index 7d55add0f..c8690fe8f 100644
Binary files a/src/test/correct/basic_sec_policy_read/gcc_no_plt_no_pic/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/gcc_no_plt_no_pic/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_read/gcc_pic/basic_sec_policy_read.gts b/src/test/correct/basic_sec_policy_read/gcc_pic/basic_sec_policy_read.gts
index 493f11c3e..18a883709 100644
Binary files a/src/test/correct/basic_sec_policy_read/gcc_pic/basic_sec_policy_read.gts and b/src/test/correct/basic_sec_policy_read/gcc_pic/basic_sec_policy_read.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/clang/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/clang/basic_sec_policy_write.gts
index c703410f4..8ec69abc3 100644
Binary files a/src/test/correct/basic_sec_policy_write/clang/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/clang/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/clang_O2/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/clang_O2/basic_sec_policy_write.gts
index 1ed9d1675..844759723 100644
Binary files a/src/test/correct/basic_sec_policy_write/clang_O2/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/clang_O2/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/clang_no_plt_no_pic/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/clang_no_plt_no_pic/basic_sec_policy_write.gts
index 1837a030d..317b72037 100644
Binary files a/src/test/correct/basic_sec_policy_write/clang_no_plt_no_pic/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/clang_no_plt_no_pic/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/clang_pic/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/clang_pic/basic_sec_policy_write.gts
index 2deff601a..54ac4b223 100644
Binary files a/src/test/correct/basic_sec_policy_write/clang_pic/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/clang_pic/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/gcc/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/gcc/basic_sec_policy_write.gts
index c8737d857..c37a394a9 100644
Binary files a/src/test/correct/basic_sec_policy_write/gcc/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/gcc/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/gcc_O2/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/gcc_O2/basic_sec_policy_write.gts
index ccef7f178..00e1114db 100644
Binary files a/src/test/correct/basic_sec_policy_write/gcc_O2/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/gcc_O2/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/gcc_no_plt_no_pic/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/gcc_no_plt_no_pic/basic_sec_policy_write.gts
index 6cbe0d67b..25addbce1 100644
Binary files a/src/test/correct/basic_sec_policy_write/gcc_no_plt_no_pic/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/gcc_no_plt_no_pic/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basic_sec_policy_write/gcc_pic/basic_sec_policy_write.gts b/src/test/correct/basic_sec_policy_write/gcc_pic/basic_sec_policy_write.gts
index 843b2eb52..4563207ec 100644
Binary files a/src/test/correct/basic_sec_policy_write/gcc_pic/basic_sec_policy_write.gts and b/src/test/correct/basic_sec_policy_write/gcc_pic/basic_sec_policy_write.gts differ
diff --git a/src/test/correct/basicassign_gamma0/clang/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/clang/basicassign_gamma0.gts
index f5254cb3a..fc37a0458 100644
Binary files a/src/test/correct/basicassign_gamma0/clang/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/clang/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/clang_O2/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/clang_O2/basicassign_gamma0.gts
index 2a094a881..bd8172acd 100644
Binary files a/src/test/correct/basicassign_gamma0/clang_O2/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/clang_O2/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/clang_no_plt_no_pic/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/clang_no_plt_no_pic/basicassign_gamma0.gts
index 5447308ee..babd49a47 100644
Binary files a/src/test/correct/basicassign_gamma0/clang_no_plt_no_pic/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/clang_no_plt_no_pic/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/clang_pic/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/clang_pic/basicassign_gamma0.gts
index bd67c8409..d41a45339 100644
Binary files a/src/test/correct/basicassign_gamma0/clang_pic/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/clang_pic/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/gcc/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/gcc/basicassign_gamma0.gts
index 8ced2e0e2..60a6f8421 100644
Binary files a/src/test/correct/basicassign_gamma0/gcc/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/gcc/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/gcc_O2/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/gcc_O2/basicassign_gamma0.gts
index 520500a1d..4efc4a8a5 100644
Binary files a/src/test/correct/basicassign_gamma0/gcc_O2/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/gcc_O2/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/gcc_no_plt_no_pic/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/gcc_no_plt_no_pic/basicassign_gamma0.gts
index 0f71b0238..df9907887 100644
Binary files a/src/test/correct/basicassign_gamma0/gcc_no_plt_no_pic/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/gcc_no_plt_no_pic/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicassign_gamma0/gcc_pic/basicassign_gamma0.gts b/src/test/correct/basicassign_gamma0/gcc_pic/basicassign_gamma0.gts
index bcd83405d..01bd0eccc 100644
Binary files a/src/test/correct/basicassign_gamma0/gcc_pic/basicassign_gamma0.gts and b/src/test/correct/basicassign_gamma0/gcc_pic/basicassign_gamma0.gts differ
diff --git a/src/test/correct/basicfree/clang/basicfree.gts b/src/test/correct/basicfree/clang/basicfree.gts
index 62a5b3f1d..d8c3245b6 100644
Binary files a/src/test/correct/basicfree/clang/basicfree.gts and b/src/test/correct/basicfree/clang/basicfree.gts differ
diff --git a/src/test/correct/basicfree/clang_O2/basicfree.gts b/src/test/correct/basicfree/clang_O2/basicfree.gts
index 72e4d42f1..83ed27d84 100644
Binary files a/src/test/correct/basicfree/clang_O2/basicfree.gts and b/src/test/correct/basicfree/clang_O2/basicfree.gts differ
diff --git a/src/test/correct/basicfree/clang_no_plt_no_pic/basicfree.gts b/src/test/correct/basicfree/clang_no_plt_no_pic/basicfree.gts
index dc19fb586..9a88686de 100644
Binary files a/src/test/correct/basicfree/clang_no_plt_no_pic/basicfree.gts and b/src/test/correct/basicfree/clang_no_plt_no_pic/basicfree.gts differ
diff --git a/src/test/correct/basicfree/clang_pic/basicfree.gts b/src/test/correct/basicfree/clang_pic/basicfree.gts
index f09cd767d..9548dca0b 100644
Binary files a/src/test/correct/basicfree/clang_pic/basicfree.gts and b/src/test/correct/basicfree/clang_pic/basicfree.gts differ
diff --git a/src/test/correct/basicfree/gcc/basicfree.gts b/src/test/correct/basicfree/gcc/basicfree.gts
index dc81848ab..446d602d0 100644
Binary files a/src/test/correct/basicfree/gcc/basicfree.gts and b/src/test/correct/basicfree/gcc/basicfree.gts differ
diff --git a/src/test/correct/basicfree/gcc_O2/basicfree.gts b/src/test/correct/basicfree/gcc_O2/basicfree.gts
index 93e78a1cf..3c5771ea6 100644
Binary files a/src/test/correct/basicfree/gcc_O2/basicfree.gts and b/src/test/correct/basicfree/gcc_O2/basicfree.gts differ
diff --git a/src/test/correct/basicfree/gcc_no_plt_no_pic/basicfree.gts b/src/test/correct/basicfree/gcc_no_plt_no_pic/basicfree.gts
index 8d175f225..e9ecc7f86 100644
Binary files a/src/test/correct/basicfree/gcc_no_plt_no_pic/basicfree.gts and b/src/test/correct/basicfree/gcc_no_plt_no_pic/basicfree.gts differ
diff --git a/src/test/correct/basicfree/gcc_pic/basicfree.gts b/src/test/correct/basicfree/gcc_pic/basicfree.gts
index c81383287..a7813525f 100644
Binary files a/src/test/correct/basicfree/gcc_pic/basicfree.gts and b/src/test/correct/basicfree/gcc_pic/basicfree.gts differ
diff --git a/src/test/correct/cjump/clang/cjump.gts b/src/test/correct/cjump/clang/cjump.gts
index de7dc0c16..5bcd2fd45 100644
Binary files a/src/test/correct/cjump/clang/cjump.gts and b/src/test/correct/cjump/clang/cjump.gts differ
diff --git a/src/test/correct/cjump/clang_O2/cjump.gts b/src/test/correct/cjump/clang_O2/cjump.gts
index 5ece49e7e..f10eceece 100644
Binary files a/src/test/correct/cjump/clang_O2/cjump.gts and b/src/test/correct/cjump/clang_O2/cjump.gts differ
diff --git a/src/test/correct/cjump/clang_no_plt_no_pic/cjump.gts b/src/test/correct/cjump/clang_no_plt_no_pic/cjump.gts
index a7df4ad0e..0b52b6770 100644
Binary files a/src/test/correct/cjump/clang_no_plt_no_pic/cjump.gts and b/src/test/correct/cjump/clang_no_plt_no_pic/cjump.gts differ
diff --git a/src/test/correct/cjump/clang_pic/cjump.gts b/src/test/correct/cjump/clang_pic/cjump.gts
index 5ace34b81..9323496b2 100644
Binary files a/src/test/correct/cjump/clang_pic/cjump.gts and b/src/test/correct/cjump/clang_pic/cjump.gts differ
diff --git a/src/test/correct/cjump/gcc/cjump.gts b/src/test/correct/cjump/gcc/cjump.gts
index 0cb992099..ea4dd44a3 100644
Binary files a/src/test/correct/cjump/gcc/cjump.gts and b/src/test/correct/cjump/gcc/cjump.gts differ
diff --git a/src/test/correct/cjump/gcc_O2/cjump.gts b/src/test/correct/cjump/gcc_O2/cjump.gts
index 8844b8927..b95f36261 100644
Binary files a/src/test/correct/cjump/gcc_O2/cjump.gts and b/src/test/correct/cjump/gcc_O2/cjump.gts differ
diff --git a/src/test/correct/cjump/gcc_no_plt_no_pic/cjump.gts b/src/test/correct/cjump/gcc_no_plt_no_pic/cjump.gts
index 00b3afb02..90d644480 100644
Binary files a/src/test/correct/cjump/gcc_no_plt_no_pic/cjump.gts and b/src/test/correct/cjump/gcc_no_plt_no_pic/cjump.gts differ
diff --git a/src/test/correct/cjump/gcc_pic/cjump.gts b/src/test/correct/cjump/gcc_pic/cjump.gts
index e3574d3d7..a3226ab23 100644
Binary files a/src/test/correct/cjump/gcc_pic/cjump.gts and b/src/test/correct/cjump/gcc_pic/cjump.gts differ
diff --git a/src/test/correct/function/clang/function.gts b/src/test/correct/function/clang/function.gts
index 83d58c9f2..5d817b1ef 100644
Binary files a/src/test/correct/function/clang/function.gts and b/src/test/correct/function/clang/function.gts differ
diff --git a/src/test/correct/function/clang_O2/function.gts b/src/test/correct/function/clang_O2/function.gts
index a45c6f1ce..cfae79848 100644
Binary files a/src/test/correct/function/clang_O2/function.gts and b/src/test/correct/function/clang_O2/function.gts differ
diff --git a/src/test/correct/function/clang_no_plt_no_pic/function.gts b/src/test/correct/function/clang_no_plt_no_pic/function.gts
index 73f02ccbe..6dd925338 100644
Binary files a/src/test/correct/function/clang_no_plt_no_pic/function.gts and b/src/test/correct/function/clang_no_plt_no_pic/function.gts differ
diff --git a/src/test/correct/function/clang_pic/function.gts b/src/test/correct/function/clang_pic/function.gts
index f3b45bd90..d66c1fd74 100644
Binary files a/src/test/correct/function/clang_pic/function.gts and b/src/test/correct/function/clang_pic/function.gts differ
diff --git a/src/test/correct/function/gcc/function.gts b/src/test/correct/function/gcc/function.gts
index 5caf0107a..27305df18 100644
Binary files a/src/test/correct/function/gcc/function.gts and b/src/test/correct/function/gcc/function.gts differ
diff --git a/src/test/correct/function/gcc_O2/function.gts b/src/test/correct/function/gcc_O2/function.gts
index c306d5978..623476037 100644
Binary files a/src/test/correct/function/gcc_O2/function.gts and b/src/test/correct/function/gcc_O2/function.gts differ
diff --git a/src/test/correct/function/gcc_no_plt_no_pic/function.gts b/src/test/correct/function/gcc_no_plt_no_pic/function.gts
index bf66356b0..92eb1cc13 100644
Binary files a/src/test/correct/function/gcc_no_plt_no_pic/function.gts and b/src/test/correct/function/gcc_no_plt_no_pic/function.gts differ
diff --git a/src/test/correct/function/gcc_pic/function.gts b/src/test/correct/function/gcc_pic/function.gts
index 6ae7b0886..17cb04257 100644
Binary files a/src/test/correct/function/gcc_pic/function.gts and b/src/test/correct/function/gcc_pic/function.gts differ
diff --git a/src/test/correct/function1/clang/function1.gts b/src/test/correct/function1/clang/function1.gts
index 759968216..3ed5bca09 100644
Binary files a/src/test/correct/function1/clang/function1.gts and b/src/test/correct/function1/clang/function1.gts differ
diff --git a/src/test/correct/function1/clang_O2/function1.gts b/src/test/correct/function1/clang_O2/function1.gts
index c46304c7a..ea0939f82 100644
Binary files a/src/test/correct/function1/clang_O2/function1.gts and b/src/test/correct/function1/clang_O2/function1.gts differ
diff --git a/src/test/correct/function1/clang_no_plt_no_pic/function1.gts b/src/test/correct/function1/clang_no_plt_no_pic/function1.gts
index 0a3562e4d..62e464fc8 100644
Binary files a/src/test/correct/function1/clang_no_plt_no_pic/function1.gts and b/src/test/correct/function1/clang_no_plt_no_pic/function1.gts differ
diff --git a/src/test/correct/function1/clang_pic/function1.gts b/src/test/correct/function1/clang_pic/function1.gts
index 029d24778..592e3c8f3 100644
Binary files a/src/test/correct/function1/clang_pic/function1.gts and b/src/test/correct/function1/clang_pic/function1.gts differ
diff --git a/src/test/correct/function1/gcc/function1.gts b/src/test/correct/function1/gcc/function1.gts
index e43e5e88a..cbc49513a 100644
Binary files a/src/test/correct/function1/gcc/function1.gts and b/src/test/correct/function1/gcc/function1.gts differ
diff --git a/src/test/correct/function1/gcc_O2/function1.gts b/src/test/correct/function1/gcc_O2/function1.gts
index 577055e0f..998f581ce 100644
Binary files a/src/test/correct/function1/gcc_O2/function1.gts and b/src/test/correct/function1/gcc_O2/function1.gts differ
diff --git a/src/test/correct/function1/gcc_no_plt_no_pic/function1.gts b/src/test/correct/function1/gcc_no_plt_no_pic/function1.gts
index 8a63a2d10..fcdbad111 100644
Binary files a/src/test/correct/function1/gcc_no_plt_no_pic/function1.gts and b/src/test/correct/function1/gcc_no_plt_no_pic/function1.gts differ
diff --git a/src/test/correct/function1/gcc_pic/function1.gts b/src/test/correct/function1/gcc_pic/function1.gts
index fa305b4af..11d22b41b 100644
Binary files a/src/test/correct/function1/gcc_pic/function1.gts and b/src/test/correct/function1/gcc_pic/function1.gts differ
diff --git a/src/test/correct/functionpointer/clang/functionpointer.gts b/src/test/correct/functionpointer/clang/functionpointer.gts
index ab41a4fd5..9019deaa7 100644
Binary files a/src/test/correct/functionpointer/clang/functionpointer.gts and b/src/test/correct/functionpointer/clang/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/clang_O2/functionpointer.gts b/src/test/correct/functionpointer/clang_O2/functionpointer.gts
index 1d20aed98..cf28ee1bb 100644
Binary files a/src/test/correct/functionpointer/clang_O2/functionpointer.gts and b/src/test/correct/functionpointer/clang_O2/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/clang_no_plt_no_pic/functionpointer.gts b/src/test/correct/functionpointer/clang_no_plt_no_pic/functionpointer.gts
index 5fffaff66..08e2e6edd 100644
Binary files a/src/test/correct/functionpointer/clang_no_plt_no_pic/functionpointer.gts and b/src/test/correct/functionpointer/clang_no_plt_no_pic/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/clang_pic/functionpointer.gts b/src/test/correct/functionpointer/clang_pic/functionpointer.gts
index cf296d732..1814bd5ae 100644
Binary files a/src/test/correct/functionpointer/clang_pic/functionpointer.gts and b/src/test/correct/functionpointer/clang_pic/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/gcc/functionpointer.gts b/src/test/correct/functionpointer/gcc/functionpointer.gts
index 215e96f51..106c4de4b 100644
Binary files a/src/test/correct/functionpointer/gcc/functionpointer.gts and b/src/test/correct/functionpointer/gcc/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/gcc_O2/functionpointer.gts b/src/test/correct/functionpointer/gcc_O2/functionpointer.gts
index a26d96a0b..34a45a3d0 100644
Binary files a/src/test/correct/functionpointer/gcc_O2/functionpointer.gts and b/src/test/correct/functionpointer/gcc_O2/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/gcc_no_plt_no_pic/functionpointer.gts b/src/test/correct/functionpointer/gcc_no_plt_no_pic/functionpointer.gts
index 71f04d41c..dbcb6ba7d 100644
Binary files a/src/test/correct/functionpointer/gcc_no_plt_no_pic/functionpointer.gts and b/src/test/correct/functionpointer/gcc_no_plt_no_pic/functionpointer.gts differ
diff --git a/src/test/correct/functionpointer/gcc_pic/functionpointer.gts b/src/test/correct/functionpointer/gcc_pic/functionpointer.gts
index 50ea37edb..9bbad0119 100644
Binary files a/src/test/correct/functionpointer/gcc_pic/functionpointer.gts and b/src/test/correct/functionpointer/gcc_pic/functionpointer.gts differ
diff --git a/src/test/correct/functions_with_params/clang/functions_with_params.gts b/src/test/correct/functions_with_params/clang/functions_with_params.gts
index 8dac35abc..4a52c70f7 100644
Binary files a/src/test/correct/functions_with_params/clang/functions_with_params.gts and b/src/test/correct/functions_with_params/clang/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/clang_O2/functions_with_params.gts b/src/test/correct/functions_with_params/clang_O2/functions_with_params.gts
index 32612eb9b..73bed764f 100644
Binary files a/src/test/correct/functions_with_params/clang_O2/functions_with_params.gts and b/src/test/correct/functions_with_params/clang_O2/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/clang_no_plt_no_pic/functions_with_params.gts b/src/test/correct/functions_with_params/clang_no_plt_no_pic/functions_with_params.gts
index 3412e10df..6f41274ab 100644
Binary files a/src/test/correct/functions_with_params/clang_no_plt_no_pic/functions_with_params.gts and b/src/test/correct/functions_with_params/clang_no_plt_no_pic/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/clang_pic/functions_with_params.gts b/src/test/correct/functions_with_params/clang_pic/functions_with_params.gts
index de1afb436..12535f1dc 100644
Binary files a/src/test/correct/functions_with_params/clang_pic/functions_with_params.gts and b/src/test/correct/functions_with_params/clang_pic/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/gcc/functions_with_params.gts b/src/test/correct/functions_with_params/gcc/functions_with_params.gts
index f5611a59b..635c40dbf 100644
Binary files a/src/test/correct/functions_with_params/gcc/functions_with_params.gts and b/src/test/correct/functions_with_params/gcc/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/gcc_O2/functions_with_params.gts b/src/test/correct/functions_with_params/gcc_O2/functions_with_params.gts
index 1f95ae8b8..c25152716 100644
Binary files a/src/test/correct/functions_with_params/gcc_O2/functions_with_params.gts and b/src/test/correct/functions_with_params/gcc_O2/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/gcc_no_plt_no_pic/functions_with_params.gts b/src/test/correct/functions_with_params/gcc_no_plt_no_pic/functions_with_params.gts
index dcab1609c..c08af3db7 100644
Binary files a/src/test/correct/functions_with_params/gcc_no_plt_no_pic/functions_with_params.gts and b/src/test/correct/functions_with_params/gcc_no_plt_no_pic/functions_with_params.gts differ
diff --git a/src/test/correct/functions_with_params/gcc_pic/functions_with_params.gts b/src/test/correct/functions_with_params/gcc_pic/functions_with_params.gts
index c261acb68..6caca6a3c 100644
Binary files a/src/test/correct/functions_with_params/gcc_pic/functions_with_params.gts and b/src/test/correct/functions_with_params/gcc_pic/functions_with_params.gts differ
diff --git a/src/test/correct/ifbranches/clang/ifbranches.gts b/src/test/correct/ifbranches/clang/ifbranches.gts
index e4bc4bf39..550cae4c4 100644
Binary files a/src/test/correct/ifbranches/clang/ifbranches.gts and b/src/test/correct/ifbranches/clang/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/clang_O2/ifbranches.gts b/src/test/correct/ifbranches/clang_O2/ifbranches.gts
index 4801ef2cb..ba807727c 100644
Binary files a/src/test/correct/ifbranches/clang_O2/ifbranches.gts and b/src/test/correct/ifbranches/clang_O2/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/clang_no_plt_no_pic/ifbranches.gts b/src/test/correct/ifbranches/clang_no_plt_no_pic/ifbranches.gts
index 2d56197d3..a78bdc3ad 100644
Binary files a/src/test/correct/ifbranches/clang_no_plt_no_pic/ifbranches.gts and b/src/test/correct/ifbranches/clang_no_plt_no_pic/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/clang_pic/ifbranches.gts b/src/test/correct/ifbranches/clang_pic/ifbranches.gts
index 770314e19..9decf40e4 100644
Binary files a/src/test/correct/ifbranches/clang_pic/ifbranches.gts and b/src/test/correct/ifbranches/clang_pic/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/gcc/ifbranches.gts b/src/test/correct/ifbranches/gcc/ifbranches.gts
index 5d030a619..15939b011 100644
Binary files a/src/test/correct/ifbranches/gcc/ifbranches.gts and b/src/test/correct/ifbranches/gcc/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/gcc_O2/ifbranches.gts b/src/test/correct/ifbranches/gcc_O2/ifbranches.gts
index 6ebdd5591..8076a58f3 100644
Binary files a/src/test/correct/ifbranches/gcc_O2/ifbranches.gts and b/src/test/correct/ifbranches/gcc_O2/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/gcc_no_plt_no_pic/ifbranches.gts b/src/test/correct/ifbranches/gcc_no_plt_no_pic/ifbranches.gts
index 1fa9f90e1..15198dae0 100644
Binary files a/src/test/correct/ifbranches/gcc_no_plt_no_pic/ifbranches.gts and b/src/test/correct/ifbranches/gcc_no_plt_no_pic/ifbranches.gts differ
diff --git a/src/test/correct/ifbranches/gcc_pic/ifbranches.gts b/src/test/correct/ifbranches/gcc_pic/ifbranches.gts
index fa005bc54..eadb7f8c3 100644
Binary files a/src/test/correct/ifbranches/gcc_pic/ifbranches.gts and b/src/test/correct/ifbranches/gcc_pic/ifbranches.gts differ
diff --git a/src/test/correct/ifglobal/clang/ifglobal.gts b/src/test/correct/ifglobal/clang/ifglobal.gts
index 3944f86ae..8b8cf5c9a 100644
Binary files a/src/test/correct/ifglobal/clang/ifglobal.gts and b/src/test/correct/ifglobal/clang/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/clang_O2/ifglobal.gts b/src/test/correct/ifglobal/clang_O2/ifglobal.gts
index f2f383c8c..ddd81d5b1 100644
Binary files a/src/test/correct/ifglobal/clang_O2/ifglobal.gts and b/src/test/correct/ifglobal/clang_O2/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/clang_no_plt_no_pic/ifglobal.gts b/src/test/correct/ifglobal/clang_no_plt_no_pic/ifglobal.gts
index 812eecc66..f63dc128f 100644
Binary files a/src/test/correct/ifglobal/clang_no_plt_no_pic/ifglobal.gts and b/src/test/correct/ifglobal/clang_no_plt_no_pic/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/clang_pic/ifglobal.gts b/src/test/correct/ifglobal/clang_pic/ifglobal.gts
index 42e7893d2..e286e3806 100644
Binary files a/src/test/correct/ifglobal/clang_pic/ifglobal.gts and b/src/test/correct/ifglobal/clang_pic/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/gcc/ifglobal.gts b/src/test/correct/ifglobal/gcc/ifglobal.gts
index 12e587eba..fc8440fd6 100644
Binary files a/src/test/correct/ifglobal/gcc/ifglobal.gts and b/src/test/correct/ifglobal/gcc/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/gcc_O2/ifglobal.gts b/src/test/correct/ifglobal/gcc_O2/ifglobal.gts
index 46b17d4b5..e7e5ce051 100644
Binary files a/src/test/correct/ifglobal/gcc_O2/ifglobal.gts and b/src/test/correct/ifglobal/gcc_O2/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/gcc_no_plt_no_pic/ifglobal.gts b/src/test/correct/ifglobal/gcc_no_plt_no_pic/ifglobal.gts
index 3b61653f0..b66143166 100644
Binary files a/src/test/correct/ifglobal/gcc_no_plt_no_pic/ifglobal.gts and b/src/test/correct/ifglobal/gcc_no_plt_no_pic/ifglobal.gts differ
diff --git a/src/test/correct/ifglobal/gcc_pic/ifglobal.gts b/src/test/correct/ifglobal/gcc_pic/ifglobal.gts
index 8b3afc17b..3657ebc9d 100644
Binary files a/src/test/correct/ifglobal/gcc_pic/ifglobal.gts and b/src/test/correct/ifglobal/gcc_pic/ifglobal.gts differ
diff --git a/src/test/correct/initialisation/clang/initialisation.gts b/src/test/correct/initialisation/clang/initialisation.gts
index 4d249343c..0a48503e7 100644
Binary files a/src/test/correct/initialisation/clang/initialisation.gts and b/src/test/correct/initialisation/clang/initialisation.gts differ
diff --git a/src/test/correct/initialisation/clang_O2/initialisation.gts b/src/test/correct/initialisation/clang_O2/initialisation.gts
index c911386c3..af9334f5e 100644
Binary files a/src/test/correct/initialisation/clang_O2/initialisation.gts and b/src/test/correct/initialisation/clang_O2/initialisation.gts differ
diff --git a/src/test/correct/initialisation/clang_no_plt_no_pic/initialisation.gts b/src/test/correct/initialisation/clang_no_plt_no_pic/initialisation.gts
index 9898a414b..352f63bd9 100644
Binary files a/src/test/correct/initialisation/clang_no_plt_no_pic/initialisation.gts and b/src/test/correct/initialisation/clang_no_plt_no_pic/initialisation.gts differ
diff --git a/src/test/correct/initialisation/clang_pic/initialisation.gts b/src/test/correct/initialisation/clang_pic/initialisation.gts
index a20517772..e567b7a4f 100644
Binary files a/src/test/correct/initialisation/clang_pic/initialisation.gts and b/src/test/correct/initialisation/clang_pic/initialisation.gts differ
diff --git a/src/test/correct/initialisation/gcc/initialisation.gts b/src/test/correct/initialisation/gcc/initialisation.gts
index 4d205862f..55c8a1934 100644
Binary files a/src/test/correct/initialisation/gcc/initialisation.gts and b/src/test/correct/initialisation/gcc/initialisation.gts differ
diff --git a/src/test/correct/initialisation/gcc_O2/initialisation.gts b/src/test/correct/initialisation/gcc_O2/initialisation.gts
index 69fd020ae..91a346949 100644
Binary files a/src/test/correct/initialisation/gcc_O2/initialisation.gts and b/src/test/correct/initialisation/gcc_O2/initialisation.gts differ
diff --git a/src/test/correct/initialisation/gcc_no_plt_no_pic/initialisation.gts b/src/test/correct/initialisation/gcc_no_plt_no_pic/initialisation.gts
index 5185fb7f2..cfdf08a72 100644
Binary files a/src/test/correct/initialisation/gcc_no_plt_no_pic/initialisation.gts and b/src/test/correct/initialisation/gcc_no_plt_no_pic/initialisation.gts differ
diff --git a/src/test/correct/initialisation/gcc_pic/initialisation.gts b/src/test/correct/initialisation/gcc_pic/initialisation.gts
index f50496442..d9819cc8e 100644
Binary files a/src/test/correct/initialisation/gcc_pic/initialisation.gts and b/src/test/correct/initialisation/gcc_pic/initialisation.gts differ
diff --git a/src/test/correct/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts b/src/test/correct/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts
index 94dafbe74..b95447447 100644
Binary files a/src/test/correct/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts and b/src/test/correct/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts differ
diff --git a/src/test/correct/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts b/src/test/correct/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts
index 6cc67e7e9..792c1a176 100644
Binary files a/src/test/correct/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts and b/src/test/correct/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts differ
diff --git a/src/test/correct/malloc_with_local/clang/malloc_with_local.gts b/src/test/correct/malloc_with_local/clang/malloc_with_local.gts
index 614ce6ab0..854364259 100644
Binary files a/src/test/correct/malloc_with_local/clang/malloc_with_local.gts and b/src/test/correct/malloc_with_local/clang/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/clang_O2/malloc_with_local.gts b/src/test/correct/malloc_with_local/clang_O2/malloc_with_local.gts
index 78a06684a..092f50c28 100644
Binary files a/src/test/correct/malloc_with_local/clang_O2/malloc_with_local.gts and b/src/test/correct/malloc_with_local/clang_O2/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/clang_no_plt_no_pic/malloc_with_local.gts b/src/test/correct/malloc_with_local/clang_no_plt_no_pic/malloc_with_local.gts
index b1383068a..45e884313 100644
Binary files a/src/test/correct/malloc_with_local/clang_no_plt_no_pic/malloc_with_local.gts and b/src/test/correct/malloc_with_local/clang_no_plt_no_pic/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/clang_pic/malloc_with_local.gts b/src/test/correct/malloc_with_local/clang_pic/malloc_with_local.gts
index 5b33c1f88..2a56fc75c 100644
Binary files a/src/test/correct/malloc_with_local/clang_pic/malloc_with_local.gts and b/src/test/correct/malloc_with_local/clang_pic/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/gcc/malloc_with_local.gts b/src/test/correct/malloc_with_local/gcc/malloc_with_local.gts
index 6049b175c..85fa93bc1 100644
Binary files a/src/test/correct/malloc_with_local/gcc/malloc_with_local.gts and b/src/test/correct/malloc_with_local/gcc/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/gcc_O2/malloc_with_local.gts b/src/test/correct/malloc_with_local/gcc_O2/malloc_with_local.gts
index e9143afb2..79ae7aaa2 100644
Binary files a/src/test/correct/malloc_with_local/gcc_O2/malloc_with_local.gts and b/src/test/correct/malloc_with_local/gcc_O2/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/gcc_no_plt_no_pic/malloc_with_local.gts b/src/test/correct/malloc_with_local/gcc_no_plt_no_pic/malloc_with_local.gts
index 934baf338..19cfe9d17 100644
Binary files a/src/test/correct/malloc_with_local/gcc_no_plt_no_pic/malloc_with_local.gts and b/src/test/correct/malloc_with_local/gcc_no_plt_no_pic/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local/gcc_pic/malloc_with_local.gts b/src/test/correct/malloc_with_local/gcc_pic/malloc_with_local.gts
index 74fd8465a..1f72600b7 100644
Binary files a/src/test/correct/malloc_with_local/gcc_pic/malloc_with_local.gts and b/src/test/correct/malloc_with_local/gcc_pic/malloc_with_local.gts differ
diff --git a/src/test/correct/malloc_with_local2/clang/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/clang/malloc_with_local2.gts
index 4bc39df0d..5918c89f3 100644
Binary files a/src/test/correct/malloc_with_local2/clang/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/clang/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/clang_O2/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/clang_O2/malloc_with_local2.gts
index 3506196c9..cf9700434 100644
Binary files a/src/test/correct/malloc_with_local2/clang_O2/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/clang_O2/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/clang_no_plt_no_pic/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/clang_no_plt_no_pic/malloc_with_local2.gts
index 50959f064..50753c0a2 100644
Binary files a/src/test/correct/malloc_with_local2/clang_no_plt_no_pic/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/clang_no_plt_no_pic/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/clang_pic/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/clang_pic/malloc_with_local2.gts
index 5e3e06a66..628df904c 100644
Binary files a/src/test/correct/malloc_with_local2/clang_pic/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/clang_pic/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/gcc/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/gcc/malloc_with_local2.gts
index 66d882e2c..242db34e2 100644
Binary files a/src/test/correct/malloc_with_local2/gcc/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/gcc/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/gcc_O2/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/gcc_O2/malloc_with_local2.gts
index cbbec40fe..3aa1280fc 100644
Binary files a/src/test/correct/malloc_with_local2/gcc_O2/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/gcc_O2/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/gcc_no_plt_no_pic/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/gcc_no_plt_no_pic/malloc_with_local2.gts
index 34c328830..9ed7fc91d 100644
Binary files a/src/test/correct/malloc_with_local2/gcc_no_plt_no_pic/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/gcc_no_plt_no_pic/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local2/gcc_pic/malloc_with_local2.gts b/src/test/correct/malloc_with_local2/gcc_pic/malloc_with_local2.gts
index 26400e98f..350e8d41a 100644
Binary files a/src/test/correct/malloc_with_local2/gcc_pic/malloc_with_local2.gts and b/src/test/correct/malloc_with_local2/gcc_pic/malloc_with_local2.gts differ
diff --git a/src/test/correct/malloc_with_local3/clang/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/clang/malloc_with_local3.gts
index 712237698..23c6629cf 100644
Binary files a/src/test/correct/malloc_with_local3/clang/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/clang/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/clang_O2/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/clang_O2/malloc_with_local3.gts
index 5be73fe8d..f91d5795b 100644
Binary files a/src/test/correct/malloc_with_local3/clang_O2/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/clang_O2/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/clang_no_plt_no_pic/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/clang_no_plt_no_pic/malloc_with_local3.gts
index f23f3d694..93e72f685 100644
Binary files a/src/test/correct/malloc_with_local3/clang_no_plt_no_pic/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/clang_no_plt_no_pic/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/clang_pic/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/clang_pic/malloc_with_local3.gts
index dd615aba0..08c126d92 100644
Binary files a/src/test/correct/malloc_with_local3/clang_pic/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/clang_pic/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/gcc/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/gcc/malloc_with_local3.gts
index d918876ab..016181d41 100644
Binary files a/src/test/correct/malloc_with_local3/gcc/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/gcc/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/gcc_O2/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/gcc_O2/malloc_with_local3.gts
index 6e3b0f6ce..c6a4b6e4a 100644
Binary files a/src/test/correct/malloc_with_local3/gcc_O2/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/gcc_O2/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/gcc_no_plt_no_pic/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/gcc_no_plt_no_pic/malloc_with_local3.gts
index c1ecaa1a2..c8acf16de 100644
Binary files a/src/test/correct/malloc_with_local3/gcc_no_plt_no_pic/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/gcc_no_plt_no_pic/malloc_with_local3.gts differ
diff --git a/src/test/correct/malloc_with_local3/gcc_pic/malloc_with_local3.gts b/src/test/correct/malloc_with_local3/gcc_pic/malloc_with_local3.gts
index fbb9bdf3a..587fc80e9 100644
Binary files a/src/test/correct/malloc_with_local3/gcc_pic/malloc_with_local3.gts and b/src/test/correct/malloc_with_local3/gcc_pic/malloc_with_local3.gts differ
diff --git a/src/test/correct/multi_malloc/clang/multi_malloc.gts b/src/test/correct/multi_malloc/clang/multi_malloc.gts
index 0ad105bdc..feb96b8b4 100644
Binary files a/src/test/correct/multi_malloc/clang/multi_malloc.gts and b/src/test/correct/multi_malloc/clang/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/clang_O2/multi_malloc.gts b/src/test/correct/multi_malloc/clang_O2/multi_malloc.gts
index 984ebef5c..6650c6a5e 100644
Binary files a/src/test/correct/multi_malloc/clang_O2/multi_malloc.gts and b/src/test/correct/multi_malloc/clang_O2/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/clang_no_plt_no_pic/multi_malloc.gts b/src/test/correct/multi_malloc/clang_no_plt_no_pic/multi_malloc.gts
index 8d7e646b4..0e0866d24 100644
Binary files a/src/test/correct/multi_malloc/clang_no_plt_no_pic/multi_malloc.gts and b/src/test/correct/multi_malloc/clang_no_plt_no_pic/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/clang_pic/multi_malloc.gts b/src/test/correct/multi_malloc/clang_pic/multi_malloc.gts
index 7561343fe..fc3f41f8f 100644
Binary files a/src/test/correct/multi_malloc/clang_pic/multi_malloc.gts and b/src/test/correct/multi_malloc/clang_pic/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/gcc/multi_malloc.gts b/src/test/correct/multi_malloc/gcc/multi_malloc.gts
index 61be4e358..d734e3618 100644
Binary files a/src/test/correct/multi_malloc/gcc/multi_malloc.gts and b/src/test/correct/multi_malloc/gcc/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/gcc_O2/multi_malloc.gts b/src/test/correct/multi_malloc/gcc_O2/multi_malloc.gts
index 866762b48..aa5a7bdbe 100644
Binary files a/src/test/correct/multi_malloc/gcc_O2/multi_malloc.gts and b/src/test/correct/multi_malloc/gcc_O2/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/gcc_no_plt_no_pic/multi_malloc.gts b/src/test/correct/multi_malloc/gcc_no_plt_no_pic/multi_malloc.gts
index 31eac52f4..2a53d531d 100644
Binary files a/src/test/correct/multi_malloc/gcc_no_plt_no_pic/multi_malloc.gts and b/src/test/correct/multi_malloc/gcc_no_plt_no_pic/multi_malloc.gts differ
diff --git a/src/test/correct/multi_malloc/gcc_pic/multi_malloc.gts b/src/test/correct/multi_malloc/gcc_pic/multi_malloc.gts
index 5692dfd4b..42c16a680 100644
Binary files a/src/test/correct/multi_malloc/gcc_pic/multi_malloc.gts and b/src/test/correct/multi_malloc/gcc_pic/multi_malloc.gts differ
diff --git a/src/test/correct/nestedif/clang/nestedif.gts b/src/test/correct/nestedif/clang/nestedif.gts
index 9f164c061..774a7d263 100644
Binary files a/src/test/correct/nestedif/clang/nestedif.gts and b/src/test/correct/nestedif/clang/nestedif.gts differ
diff --git a/src/test/correct/nestedif/clang_O2/nestedif.gts b/src/test/correct/nestedif/clang_O2/nestedif.gts
index bed02d8d9..2c39cc49d 100644
Binary files a/src/test/correct/nestedif/clang_O2/nestedif.gts and b/src/test/correct/nestedif/clang_O2/nestedif.gts differ
diff --git a/src/test/correct/nestedif/clang_no_plt_no_pic/nestedif.gts b/src/test/correct/nestedif/clang_no_plt_no_pic/nestedif.gts
index 3f5f98d6d..85f075986 100644
Binary files a/src/test/correct/nestedif/clang_no_plt_no_pic/nestedif.gts and b/src/test/correct/nestedif/clang_no_plt_no_pic/nestedif.gts differ
diff --git a/src/test/correct/nestedif/clang_pic/nestedif.gts b/src/test/correct/nestedif/clang_pic/nestedif.gts
index 22c909bbe..15bf15b28 100644
Binary files a/src/test/correct/nestedif/clang_pic/nestedif.gts and b/src/test/correct/nestedif/clang_pic/nestedif.gts differ
diff --git a/src/test/correct/nestedif/gcc/nestedif.gts b/src/test/correct/nestedif/gcc/nestedif.gts
index e71f35460..53cacdb13 100644
Binary files a/src/test/correct/nestedif/gcc/nestedif.gts and b/src/test/correct/nestedif/gcc/nestedif.gts differ
diff --git a/src/test/correct/nestedif/gcc_O2/nestedif.gts b/src/test/correct/nestedif/gcc_O2/nestedif.gts
index 8562e2c46..d81c23246 100644
Binary files a/src/test/correct/nestedif/gcc_O2/nestedif.gts and b/src/test/correct/nestedif/gcc_O2/nestedif.gts differ
diff --git a/src/test/correct/nestedif/gcc_no_plt_no_pic/nestedif.gts b/src/test/correct/nestedif/gcc_no_plt_no_pic/nestedif.gts
index bcbd5b182..b4e6890f1 100644
Binary files a/src/test/correct/nestedif/gcc_no_plt_no_pic/nestedif.gts and b/src/test/correct/nestedif/gcc_no_plt_no_pic/nestedif.gts differ
diff --git a/src/test/correct/nestedif/gcc_pic/nestedif.gts b/src/test/correct/nestedif/gcc_pic/nestedif.gts
index 40b75414d..913e2b65a 100644
Binary files a/src/test/correct/nestedif/gcc_pic/nestedif.gts and b/src/test/correct/nestedif/gcc_pic/nestedif.gts differ
diff --git a/src/test/correct/no_interference_update_x/clang/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/clang/no_interference_update_x.gts
index 8dd798c5a..5b44c4f0f 100644
Binary files a/src/test/correct/no_interference_update_x/clang/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/clang/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/clang_O2/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/clang_O2/no_interference_update_x.gts
index 1aa221795..f6fedf177 100644
Binary files a/src/test/correct/no_interference_update_x/clang_O2/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/clang_O2/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/clang_no_plt_no_pic/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/clang_no_plt_no_pic/no_interference_update_x.gts
index 13f17189d..8294f40d2 100644
Binary files a/src/test/correct/no_interference_update_x/clang_no_plt_no_pic/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/clang_no_plt_no_pic/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/clang_pic/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/clang_pic/no_interference_update_x.gts
index 70caf1d39..f1bea1b87 100644
Binary files a/src/test/correct/no_interference_update_x/clang_pic/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/clang_pic/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/gcc/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/gcc/no_interference_update_x.gts
index 34ef31587..3b0a23e16 100644
Binary files a/src/test/correct/no_interference_update_x/gcc/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/gcc/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/gcc_O2/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/gcc_O2/no_interference_update_x.gts
index afdb66ad2..193f8f43f 100644
Binary files a/src/test/correct/no_interference_update_x/gcc_O2/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/gcc_O2/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/gcc_no_plt_no_pic/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/gcc_no_plt_no_pic/no_interference_update_x.gts
index 901c674de..605ad0bde 100644
Binary files a/src/test/correct/no_interference_update_x/gcc_no_plt_no_pic/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/gcc_no_plt_no_pic/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_x/gcc_pic/no_interference_update_x.gts b/src/test/correct/no_interference_update_x/gcc_pic/no_interference_update_x.gts
index 55b8e8821..a8f1518b4 100644
Binary files a/src/test/correct/no_interference_update_x/gcc_pic/no_interference_update_x.gts and b/src/test/correct/no_interference_update_x/gcc_pic/no_interference_update_x.gts differ
diff --git a/src/test/correct/no_interference_update_y/clang/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/clang/no_interference_update_y.gts
index 08913d6f3..0fedbdde1 100644
Binary files a/src/test/correct/no_interference_update_y/clang/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/clang/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/clang_O2/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/clang_O2/no_interference_update_y.gts
index 87b6cb525..ab75716c7 100644
Binary files a/src/test/correct/no_interference_update_y/clang_O2/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/clang_O2/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/clang_no_plt_no_pic/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/clang_no_plt_no_pic/no_interference_update_y.gts
index 024a55cae..1ba7aa4f7 100644
Binary files a/src/test/correct/no_interference_update_y/clang_no_plt_no_pic/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/clang_no_plt_no_pic/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/clang_pic/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/clang_pic/no_interference_update_y.gts
index 0c3101e0f..d69a9acd3 100644
Binary files a/src/test/correct/no_interference_update_y/clang_pic/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/clang_pic/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/gcc/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/gcc/no_interference_update_y.gts
index 4cca10295..e3bccb042 100644
Binary files a/src/test/correct/no_interference_update_y/gcc/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/gcc/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/gcc_O2/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/gcc_O2/no_interference_update_y.gts
index 1b7f9fcda..5d9c60ec5 100644
Binary files a/src/test/correct/no_interference_update_y/gcc_O2/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/gcc_O2/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/gcc_no_plt_no_pic/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/gcc_no_plt_no_pic/no_interference_update_y.gts
index ae28ad443..25dc3385e 100644
Binary files a/src/test/correct/no_interference_update_y/gcc_no_plt_no_pic/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/gcc_no_plt_no_pic/no_interference_update_y.gts differ
diff --git a/src/test/correct/no_interference_update_y/gcc_pic/no_interference_update_y.gts b/src/test/correct/no_interference_update_y/gcc_pic/no_interference_update_y.gts
index f845377e4..e9681e935 100644
Binary files a/src/test/correct/no_interference_update_y/gcc_pic/no_interference_update_y.gts and b/src/test/correct/no_interference_update_y/gcc_pic/no_interference_update_y.gts differ
diff --git a/src/test/correct/secret_write/clang/secret_write.gts b/src/test/correct/secret_write/clang/secret_write.gts
index f77423698..fde62a111 100644
Binary files a/src/test/correct/secret_write/clang/secret_write.gts and b/src/test/correct/secret_write/clang/secret_write.gts differ
diff --git a/src/test/correct/secret_write/clang_O2/secret_write.gts b/src/test/correct/secret_write/clang_O2/secret_write.gts
index b4b0fd2c1..18618a797 100644
Binary files a/src/test/correct/secret_write/clang_O2/secret_write.gts and b/src/test/correct/secret_write/clang_O2/secret_write.gts differ
diff --git a/src/test/correct/secret_write/clang_no_plt_no_pic/secret_write.gts b/src/test/correct/secret_write/clang_no_plt_no_pic/secret_write.gts
index 373423bfc..9a73bdd90 100644
Binary files a/src/test/correct/secret_write/clang_no_plt_no_pic/secret_write.gts and b/src/test/correct/secret_write/clang_no_plt_no_pic/secret_write.gts differ
diff --git a/src/test/correct/secret_write/clang_pic/secret_write.gts b/src/test/correct/secret_write/clang_pic/secret_write.gts
index 185237430..c80fcd99b 100644
Binary files a/src/test/correct/secret_write/clang_pic/secret_write.gts and b/src/test/correct/secret_write/clang_pic/secret_write.gts differ
diff --git a/src/test/correct/secret_write/gcc/secret_write.gts b/src/test/correct/secret_write/gcc/secret_write.gts
index 07dd45172..1074dc641 100644
Binary files a/src/test/correct/secret_write/gcc/secret_write.gts and b/src/test/correct/secret_write/gcc/secret_write.gts differ
diff --git a/src/test/correct/secret_write/gcc_O2/secret_write.gts b/src/test/correct/secret_write/gcc_O2/secret_write.gts
index 2f8b04926..aeec17220 100644
Binary files a/src/test/correct/secret_write/gcc_O2/secret_write.gts and b/src/test/correct/secret_write/gcc_O2/secret_write.gts differ
diff --git a/src/test/correct/secret_write/gcc_no_plt_no_pic/secret_write.gts b/src/test/correct/secret_write/gcc_no_plt_no_pic/secret_write.gts
index 24fd046a8..560fc6f78 100644
Binary files a/src/test/correct/secret_write/gcc_no_plt_no_pic/secret_write.gts and b/src/test/correct/secret_write/gcc_no_plt_no_pic/secret_write.gts differ
diff --git a/src/test/correct/secret_write/gcc_pic/secret_write.gts b/src/test/correct/secret_write/gcc_pic/secret_write.gts
index f33f81211..a84b41dc6 100644
Binary files a/src/test/correct/secret_write/gcc_pic/secret_write.gts and b/src/test/correct/secret_write/gcc_pic/secret_write.gts differ
diff --git a/src/test/correct/simple_jump/clang/simple_jump.gts b/src/test/correct/simple_jump/clang/simple_jump.gts
index 785535933..81c1ce6e5 100644
Binary files a/src/test/correct/simple_jump/clang/simple_jump.gts and b/src/test/correct/simple_jump/clang/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/clang_O2/simple_jump.gts b/src/test/correct/simple_jump/clang_O2/simple_jump.gts
index e9b4db882..b65949761 100644
Binary files a/src/test/correct/simple_jump/clang_O2/simple_jump.gts and b/src/test/correct/simple_jump/clang_O2/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/clang_no_plt_no_pic/simple_jump.gts b/src/test/correct/simple_jump/clang_no_plt_no_pic/simple_jump.gts
index 0640ad592..b166bc6e6 100644
Binary files a/src/test/correct/simple_jump/clang_no_plt_no_pic/simple_jump.gts and b/src/test/correct/simple_jump/clang_no_plt_no_pic/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/clang_pic/simple_jump.gts b/src/test/correct/simple_jump/clang_pic/simple_jump.gts
index 6cfa50375..428ca6a89 100644
Binary files a/src/test/correct/simple_jump/clang_pic/simple_jump.gts and b/src/test/correct/simple_jump/clang_pic/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/gcc/simple_jump.gts b/src/test/correct/simple_jump/gcc/simple_jump.gts
index af699b97a..d09cd4dda 100644
Binary files a/src/test/correct/simple_jump/gcc/simple_jump.gts and b/src/test/correct/simple_jump/gcc/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/gcc_O2/simple_jump.gts b/src/test/correct/simple_jump/gcc_O2/simple_jump.gts
index 78e902787..afbd23933 100644
Binary files a/src/test/correct/simple_jump/gcc_O2/simple_jump.gts and b/src/test/correct/simple_jump/gcc_O2/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/gcc_no_plt_no_pic/simple_jump.gts b/src/test/correct/simple_jump/gcc_no_plt_no_pic/simple_jump.gts
index 2ab05d154..1a48aa43a 100644
Binary files a/src/test/correct/simple_jump/gcc_no_plt_no_pic/simple_jump.gts and b/src/test/correct/simple_jump/gcc_no_plt_no_pic/simple_jump.gts differ
diff --git a/src/test/correct/simple_jump/gcc_pic/simple_jump.gts b/src/test/correct/simple_jump/gcc_pic/simple_jump.gts
index 63c326218..64a1445e3 100644
Binary files a/src/test/correct/simple_jump/gcc_pic/simple_jump.gts and b/src/test/correct/simple_jump/gcc_pic/simple_jump.gts differ
diff --git a/src/test/correct/switch/clang/switch.gts b/src/test/correct/switch/clang/switch.gts
index edb6c499b..3a009d5ed 100644
Binary files a/src/test/correct/switch/clang/switch.gts and b/src/test/correct/switch/clang/switch.gts differ
diff --git a/src/test/correct/switch/clang_O2/switch.gts b/src/test/correct/switch/clang_O2/switch.gts
index a0d11d90d..39ad2c221 100644
Binary files a/src/test/correct/switch/clang_O2/switch.gts and b/src/test/correct/switch/clang_O2/switch.gts differ
diff --git a/src/test/correct/switch/clang_no_plt_no_pic/switch.gts b/src/test/correct/switch/clang_no_plt_no_pic/switch.gts
index b4aad6a82..1a574e09d 100644
Binary files a/src/test/correct/switch/clang_no_plt_no_pic/switch.gts and b/src/test/correct/switch/clang_no_plt_no_pic/switch.gts differ
diff --git a/src/test/correct/switch/clang_pic/switch.gts b/src/test/correct/switch/clang_pic/switch.gts
index d7c75f161..06d24d1e6 100644
Binary files a/src/test/correct/switch/clang_pic/switch.gts and b/src/test/correct/switch/clang_pic/switch.gts differ
diff --git a/src/test/correct/switch/gcc/switch.gts b/src/test/correct/switch/gcc/switch.gts
index 1fe80e9be..8cc4c5f4e 100644
Binary files a/src/test/correct/switch/gcc/switch.gts and b/src/test/correct/switch/gcc/switch.gts differ
diff --git a/src/test/correct/switch/gcc_O2/switch.gts b/src/test/correct/switch/gcc_O2/switch.gts
index e5ff08b1e..d4a2cf354 100644
Binary files a/src/test/correct/switch/gcc_O2/switch.gts and b/src/test/correct/switch/gcc_O2/switch.gts differ
diff --git a/src/test/correct/switch/gcc_no_plt_no_pic/switch.gts b/src/test/correct/switch/gcc_no_plt_no_pic/switch.gts
index adaa5a320..e6a01b7d7 100644
Binary files a/src/test/correct/switch/gcc_no_plt_no_pic/switch.gts and b/src/test/correct/switch/gcc_no_plt_no_pic/switch.gts differ
diff --git a/src/test/correct/switch/gcc_pic/switch.gts b/src/test/correct/switch/gcc_pic/switch.gts
index 504b922cf..2898ff3c2 100644
Binary files a/src/test/correct/switch/gcc_pic/switch.gts and b/src/test/correct/switch/gcc_pic/switch.gts differ
diff --git a/src/test/correct/switch2/clang/switch2.gts b/src/test/correct/switch2/clang/switch2.gts
index 60a895343..c6998be21 100644
Binary files a/src/test/correct/switch2/clang/switch2.gts and b/src/test/correct/switch2/clang/switch2.gts differ
diff --git a/src/test/correct/switch2/clang_O2/switch2.gts b/src/test/correct/switch2/clang_O2/switch2.gts
index 5bf4c8d5b..3394ac9d6 100644
Binary files a/src/test/correct/switch2/clang_O2/switch2.gts and b/src/test/correct/switch2/clang_O2/switch2.gts differ
diff --git a/src/test/correct/switch2/clang_no_plt_no_pic/switch2.gts b/src/test/correct/switch2/clang_no_plt_no_pic/switch2.gts
index 3a9463be9..65f06020b 100644
Binary files a/src/test/correct/switch2/clang_no_plt_no_pic/switch2.gts and b/src/test/correct/switch2/clang_no_plt_no_pic/switch2.gts differ
diff --git a/src/test/correct/switch2/clang_pic/switch2.gts b/src/test/correct/switch2/clang_pic/switch2.gts
index a24a8a60c..7ad3fc036 100644
Binary files a/src/test/correct/switch2/clang_pic/switch2.gts and b/src/test/correct/switch2/clang_pic/switch2.gts differ
diff --git a/src/test/correct/switch2/gcc/switch2.gts b/src/test/correct/switch2/gcc/switch2.gts
index c1745bdd7..0579aca39 100644
Binary files a/src/test/correct/switch2/gcc/switch2.gts and b/src/test/correct/switch2/gcc/switch2.gts differ
diff --git a/src/test/correct/switch2/gcc_O2/switch2.gts b/src/test/correct/switch2/gcc_O2/switch2.gts
index be983bab2..2afeba2f8 100644
Binary files a/src/test/correct/switch2/gcc_O2/switch2.gts and b/src/test/correct/switch2/gcc_O2/switch2.gts differ
diff --git a/src/test/correct/switch2/gcc_no_plt_no_pic/switch2.gts b/src/test/correct/switch2/gcc_no_plt_no_pic/switch2.gts
index 5aea3ceca..56996d509 100644
Binary files a/src/test/correct/switch2/gcc_no_plt_no_pic/switch2.gts and b/src/test/correct/switch2/gcc_no_plt_no_pic/switch2.gts differ
diff --git a/src/test/correct/switch2/gcc_pic/switch2.gts b/src/test/correct/switch2/gcc_pic/switch2.gts
index a41df71ae..6fa5dea69 100644
Binary files a/src/test/correct/switch2/gcc_pic/switch2.gts and b/src/test/correct/switch2/gcc_pic/switch2.gts differ
diff --git a/src/test/correct/syscall/clang/syscall.gts b/src/test/correct/syscall/clang/syscall.gts
index b138d833a..424a87438 100644
Binary files a/src/test/correct/syscall/clang/syscall.gts and b/src/test/correct/syscall/clang/syscall.gts differ
diff --git a/src/test/correct/syscall/clang_O2/syscall.gts b/src/test/correct/syscall/clang_O2/syscall.gts
index c83b55df3..9c3c2b230 100644
Binary files a/src/test/correct/syscall/clang_O2/syscall.gts and b/src/test/correct/syscall/clang_O2/syscall.gts differ
diff --git a/src/test/correct/syscall/clang_no_plt_no_pic/syscall.gts b/src/test/correct/syscall/clang_no_plt_no_pic/syscall.gts
index 4ee3751b9..6b17533ae 100644
Binary files a/src/test/correct/syscall/clang_no_plt_no_pic/syscall.gts and b/src/test/correct/syscall/clang_no_plt_no_pic/syscall.gts differ
diff --git a/src/test/correct/syscall/clang_pic/syscall.gts b/src/test/correct/syscall/clang_pic/syscall.gts
index f9c2493c7..99624ba8d 100644
Binary files a/src/test/correct/syscall/clang_pic/syscall.gts and b/src/test/correct/syscall/clang_pic/syscall.gts differ
diff --git a/src/test/correct/syscall/gcc/syscall.gts b/src/test/correct/syscall/gcc/syscall.gts
index 41ffe34b9..ab91e32ee 100644
Binary files a/src/test/correct/syscall/gcc/syscall.gts and b/src/test/correct/syscall/gcc/syscall.gts differ
diff --git a/src/test/correct/syscall/gcc_O2/syscall.gts b/src/test/correct/syscall/gcc_O2/syscall.gts
index 55f8abf3f..c00cc39bd 100644
Binary files a/src/test/correct/syscall/gcc_O2/syscall.gts and b/src/test/correct/syscall/gcc_O2/syscall.gts differ
diff --git a/src/test/correct/syscall/gcc_no_plt_no_pic/syscall.gts b/src/test/correct/syscall/gcc_no_plt_no_pic/syscall.gts
index 5e4383db7..1cd2cde80 100644
Binary files a/src/test/correct/syscall/gcc_no_plt_no_pic/syscall.gts and b/src/test/correct/syscall/gcc_no_plt_no_pic/syscall.gts differ
diff --git a/src/test/correct/syscall/gcc_pic/syscall.gts b/src/test/correct/syscall/gcc_pic/syscall.gts
index 79780afe7..c9987f295 100644
Binary files a/src/test/correct/syscall/gcc_pic/syscall.gts and b/src/test/correct/syscall/gcc_pic/syscall.gts differ
diff --git a/src/test/correct/using_gamma_conditional/clang/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/clang/using_gamma_conditional.gts
index dd0b9abe0..8f0d4952c 100644
Binary files a/src/test/correct/using_gamma_conditional/clang/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/clang/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/clang_O2/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/clang_O2/using_gamma_conditional.gts
index 706aa2ab5..a00f17f3e 100644
Binary files a/src/test/correct/using_gamma_conditional/clang_O2/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/clang_O2/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/clang_no_plt_no_pic/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/clang_no_plt_no_pic/using_gamma_conditional.gts
index e4e3a584b..47033411c 100644
Binary files a/src/test/correct/using_gamma_conditional/clang_no_plt_no_pic/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/clang_no_plt_no_pic/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/clang_pic/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/clang_pic/using_gamma_conditional.gts
index 298ee9363..53bdf69a3 100644
Binary files a/src/test/correct/using_gamma_conditional/clang_pic/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/clang_pic/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/gcc/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/gcc/using_gamma_conditional.gts
index 946348585..5258fbe9c 100644
Binary files a/src/test/correct/using_gamma_conditional/gcc/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/gcc/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/gcc_O2/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/gcc_O2/using_gamma_conditional.gts
index 167119954..e295e49d3 100644
Binary files a/src/test/correct/using_gamma_conditional/gcc_O2/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/gcc_O2/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/gcc_no_plt_no_pic/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/gcc_no_plt_no_pic/using_gamma_conditional.gts
index 13d925408..27ee68e7c 100644
Binary files a/src/test/correct/using_gamma_conditional/gcc_no_plt_no_pic/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/gcc_no_plt_no_pic/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_conditional/gcc_pic/using_gamma_conditional.gts b/src/test/correct/using_gamma_conditional/gcc_pic/using_gamma_conditional.gts
index 878241b9c..b7bf7c8bb 100644
Binary files a/src/test/correct/using_gamma_conditional/gcc_pic/using_gamma_conditional.gts and b/src/test/correct/using_gamma_conditional/gcc_pic/using_gamma_conditional.gts differ
diff --git a/src/test/correct/using_gamma_write_z/clang/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/clang/using_gamma_write_z.gts
index 64228f188..22becb660 100644
Binary files a/src/test/correct/using_gamma_write_z/clang/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/clang/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/clang_O2/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/clang_O2/using_gamma_write_z.gts
index 5b9c1f99b..5d0d36b02 100644
Binary files a/src/test/correct/using_gamma_write_z/clang_O2/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/clang_O2/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/clang_no_plt_no_pic/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/clang_no_plt_no_pic/using_gamma_write_z.gts
index 9f330702b..d1bb9573a 100644
Binary files a/src/test/correct/using_gamma_write_z/clang_no_plt_no_pic/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/clang_no_plt_no_pic/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/clang_pic/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/clang_pic/using_gamma_write_z.gts
index a80d2f263..cef0e96c3 100644
Binary files a/src/test/correct/using_gamma_write_z/clang_pic/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/clang_pic/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/gcc/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/gcc/using_gamma_write_z.gts
index 640a84fc5..a17f3f4c9 100644
Binary files a/src/test/correct/using_gamma_write_z/gcc/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/gcc/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/gcc_O2/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/gcc_O2/using_gamma_write_z.gts
index 19f056afa..e2d12ac9c 100644
Binary files a/src/test/correct/using_gamma_write_z/gcc_O2/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/gcc_O2/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/gcc_no_plt_no_pic/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/gcc_no_plt_no_pic/using_gamma_write_z.gts
index 94cef9fd4..0a24ab557 100644
Binary files a/src/test/correct/using_gamma_write_z/gcc_no_plt_no_pic/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/gcc_no_plt_no_pic/using_gamma_write_z.gts differ
diff --git a/src/test/correct/using_gamma_write_z/gcc_pic/using_gamma_write_z.gts b/src/test/correct/using_gamma_write_z/gcc_pic/using_gamma_write_z.gts
index b23940dc7..a60be3ea5 100644
Binary files a/src/test/correct/using_gamma_write_z/gcc_pic/using_gamma_write_z.gts and b/src/test/correct/using_gamma_write_z/gcc_pic/using_gamma_write_z.gts differ
diff --git a/src/test/correct_analyse/indirect_call/clang/indirect_call.gts b/src/test/correct_analyse/indirect_call/clang/indirect_call.gts
index aa1396db1..57a10dad4 100644
Binary files a/src/test/correct_analyse/indirect_call/clang/indirect_call.gts and b/src/test/correct_analyse/indirect_call/clang/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/clang_O2/indirect_call.gts b/src/test/correct_analyse/indirect_call/clang_O2/indirect_call.gts
index 585e5acf0..01abf9c53 100644
Binary files a/src/test/correct_analyse/indirect_call/clang_O2/indirect_call.gts and b/src/test/correct_analyse/indirect_call/clang_O2/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/clang_no_plt_no_pic/indirect_call.gts b/src/test/correct_analyse/indirect_call/clang_no_plt_no_pic/indirect_call.gts
index 73bd84314..ccfb488cb 100644
Binary files a/src/test/correct_analyse/indirect_call/clang_no_plt_no_pic/indirect_call.gts and b/src/test/correct_analyse/indirect_call/clang_no_plt_no_pic/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/clang_pic/indirect_call.gts b/src/test/correct_analyse/indirect_call/clang_pic/indirect_call.gts
index 85cbeb6ff..4e90cca7a 100644
Binary files a/src/test/correct_analyse/indirect_call/clang_pic/indirect_call.gts and b/src/test/correct_analyse/indirect_call/clang_pic/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/gcc/indirect_call.gts b/src/test/correct_analyse/indirect_call/gcc/indirect_call.gts
index 3078ed3c5..847293e70 100644
Binary files a/src/test/correct_analyse/indirect_call/gcc/indirect_call.gts and b/src/test/correct_analyse/indirect_call/gcc/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/gcc_O2/indirect_call.gts b/src/test/correct_analyse/indirect_call/gcc_O2/indirect_call.gts
index 26297164e..aa6c6a40f 100644
Binary files a/src/test/correct_analyse/indirect_call/gcc_O2/indirect_call.gts and b/src/test/correct_analyse/indirect_call/gcc_O2/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/gcc_no_plt_no_pic/indirect_call.gts b/src/test/correct_analyse/indirect_call/gcc_no_plt_no_pic/indirect_call.gts
index c2d19b711..1e29eca7d 100644
Binary files a/src/test/correct_analyse/indirect_call/gcc_no_plt_no_pic/indirect_call.gts and b/src/test/correct_analyse/indirect_call/gcc_no_plt_no_pic/indirect_call.gts differ
diff --git a/src/test/correct_analyse/indirect_call/gcc_pic/indirect_call.gts b/src/test/correct_analyse/indirect_call/gcc_pic/indirect_call.gts
index 47ab8d08e..f1b7afbab 100644
Binary files a/src/test/correct_analyse/indirect_call/gcc_pic/indirect_call.gts and b/src/test/correct_analyse/indirect_call/gcc_pic/indirect_call.gts differ
diff --git a/src/test/correct_analyse/jumptable/clang/jumptable.gts b/src/test/correct_analyse/jumptable/clang/jumptable.gts
index 7c4eec2cd..2cd6dac0b 100644
Binary files a/src/test/correct_analyse/jumptable/clang/jumptable.gts and b/src/test/correct_analyse/jumptable/clang/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable/clang_O2/jumptable.gts b/src/test/correct_analyse/jumptable/clang_O2/jumptable.gts
index 6a6f59b94..b2856a322 100644
Binary files a/src/test/correct_analyse/jumptable/clang_O2/jumptable.gts and b/src/test/correct_analyse/jumptable/clang_O2/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable/clang_no_plt_no_pic/jumptable.gts b/src/test/correct_analyse/jumptable/clang_no_plt_no_pic/jumptable.gts
index 76ee917c0..c52da01e7 100644
Binary files a/src/test/correct_analyse/jumptable/clang_no_plt_no_pic/jumptable.gts and b/src/test/correct_analyse/jumptable/clang_no_plt_no_pic/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable/clang_pic/jumptable.gts b/src/test/correct_analyse/jumptable/clang_pic/jumptable.gts
index 154ba7a36..d9bdee8ac 100644
Binary files a/src/test/correct_analyse/jumptable/clang_pic/jumptable.gts and b/src/test/correct_analyse/jumptable/clang_pic/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable/gcc/jumptable.gts b/src/test/correct_analyse/jumptable/gcc/jumptable.gts
index 36b62af57..7d15c6550 100644
Binary files a/src/test/correct_analyse/jumptable/gcc/jumptable.gts and b/src/test/correct_analyse/jumptable/gcc/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable/gcc_O2/jumptable.gts b/src/test/correct_analyse/jumptable/gcc_O2/jumptable.gts
index 8a7761546..7a77b37ac 100644
Binary files a/src/test/correct_analyse/jumptable/gcc_O2/jumptable.gts and b/src/test/correct_analyse/jumptable/gcc_O2/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable/gcc_pic/jumptable.gts b/src/test/correct_analyse/jumptable/gcc_pic/jumptable.gts
index 4fce93cf0..48b502b87 100644
Binary files a/src/test/correct_analyse/jumptable/gcc_pic/jumptable.gts and b/src/test/correct_analyse/jumptable/gcc_pic/jumptable.gts differ
diff --git a/src/test/correct_analyse/jumptable2/clang/jumptable2.gts b/src/test/correct_analyse/jumptable2/clang/jumptable2.gts
index 928e22416..3c05a555d 100644
Binary files a/src/test/correct_analyse/jumptable2/clang/jumptable2.gts and b/src/test/correct_analyse/jumptable2/clang/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/clang_O2/jumptable2.gts b/src/test/correct_analyse/jumptable2/clang_O2/jumptable2.gts
index 352e06d22..3ce4b1b4a 100644
Binary files a/src/test/correct_analyse/jumptable2/clang_O2/jumptable2.gts and b/src/test/correct_analyse/jumptable2/clang_O2/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/clang_no_plt_no_pic/jumptable2.gts b/src/test/correct_analyse/jumptable2/clang_no_plt_no_pic/jumptable2.gts
index 6bd6d6a09..9cf456780 100644
Binary files a/src/test/correct_analyse/jumptable2/clang_no_plt_no_pic/jumptable2.gts and b/src/test/correct_analyse/jumptable2/clang_no_plt_no_pic/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/clang_pic/jumptable2.gts b/src/test/correct_analyse/jumptable2/clang_pic/jumptable2.gts
index 965d12ddf..eb2ff6a0a 100644
Binary files a/src/test/correct_analyse/jumptable2/clang_pic/jumptable2.gts and b/src/test/correct_analyse/jumptable2/clang_pic/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/gcc/jumptable2.gts b/src/test/correct_analyse/jumptable2/gcc/jumptable2.gts
index 3754688e4..fea589f5d 100644
Binary files a/src/test/correct_analyse/jumptable2/gcc/jumptable2.gts and b/src/test/correct_analyse/jumptable2/gcc/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/gcc_O2/jumptable2.gts b/src/test/correct_analyse/jumptable2/gcc_O2/jumptable2.gts
index f2ce9bac6..78214833a 100644
Binary files a/src/test/correct_analyse/jumptable2/gcc_O2/jumptable2.gts and b/src/test/correct_analyse/jumptable2/gcc_O2/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/gcc_no_plt_no_pic/jumptable2.gts b/src/test/correct_analyse/jumptable2/gcc_no_plt_no_pic/jumptable2.gts
index d75b5ce62..645f1a53e 100644
Binary files a/src/test/correct_analyse/jumptable2/gcc_no_plt_no_pic/jumptable2.gts and b/src/test/correct_analyse/jumptable2/gcc_no_plt_no_pic/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable2/gcc_pic/jumptable2.gts b/src/test/correct_analyse/jumptable2/gcc_pic/jumptable2.gts
index 7b286cd1b..6d5d7b2e8 100644
Binary files a/src/test/correct_analyse/jumptable2/gcc_pic/jumptable2.gts and b/src/test/correct_analyse/jumptable2/gcc_pic/jumptable2.gts differ
diff --git a/src/test/correct_analyse/jumptable3/clang/jumptable3.gts b/src/test/correct_analyse/jumptable3/clang/jumptable3.gts
index 254155d23..cf5186112 100644
Binary files a/src/test/correct_analyse/jumptable3/clang/jumptable3.gts and b/src/test/correct_analyse/jumptable3/clang/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/clang_O2/jumptable3.gts b/src/test/correct_analyse/jumptable3/clang_O2/jumptable3.gts
index 386a75ff3..ef373305c 100644
Binary files a/src/test/correct_analyse/jumptable3/clang_O2/jumptable3.gts and b/src/test/correct_analyse/jumptable3/clang_O2/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/clang_no_plt_no_pic/jumptable3.gts b/src/test/correct_analyse/jumptable3/clang_no_plt_no_pic/jumptable3.gts
index cbacd55ea..4cbcc3d5b 100644
Binary files a/src/test/correct_analyse/jumptable3/clang_no_plt_no_pic/jumptable3.gts and b/src/test/correct_analyse/jumptable3/clang_no_plt_no_pic/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/clang_pic/jumptable3.gts b/src/test/correct_analyse/jumptable3/clang_pic/jumptable3.gts
index f352ad825..859c4aeb6 100644
Binary files a/src/test/correct_analyse/jumptable3/clang_pic/jumptable3.gts and b/src/test/correct_analyse/jumptable3/clang_pic/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/gcc/jumptable3.gts b/src/test/correct_analyse/jumptable3/gcc/jumptable3.gts
index cb2db96ad..8746be2f6 100644
Binary files a/src/test/correct_analyse/jumptable3/gcc/jumptable3.gts and b/src/test/correct_analyse/jumptable3/gcc/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/gcc_O2/jumptable3.gts b/src/test/correct_analyse/jumptable3/gcc_O2/jumptable3.gts
index 565367618..d478dfeec 100644
Binary files a/src/test/correct_analyse/jumptable3/gcc_O2/jumptable3.gts and b/src/test/correct_analyse/jumptable3/gcc_O2/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/gcc_no_plt_no_pic/jumptable3.gts b/src/test/correct_analyse/jumptable3/gcc_no_plt_no_pic/jumptable3.gts
index 9b7221df2..c5677e8fa 100644
Binary files a/src/test/correct_analyse/jumptable3/gcc_no_plt_no_pic/jumptable3.gts and b/src/test/correct_analyse/jumptable3/gcc_no_plt_no_pic/jumptable3.gts differ
diff --git a/src/test/correct_analyse/jumptable3/gcc_pic/jumptable3.gts b/src/test/correct_analyse/jumptable3/gcc_pic/jumptable3.gts
index e6f8b9f5e..5d1382f34 100644
Binary files a/src/test/correct_analyse/jumptable3/gcc_pic/jumptable3.gts and b/src/test/correct_analyse/jumptable3/gcc_pic/jumptable3.gts differ
diff --git a/src/test/incorrect/basicassign/clang/basicassign.gts b/src/test/incorrect/basicassign/clang/basicassign.gts
index 26e03574d..f9003261c 100644
Binary files a/src/test/incorrect/basicassign/clang/basicassign.gts and b/src/test/incorrect/basicassign/clang/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/clang_O2/basicassign.gts b/src/test/incorrect/basicassign/clang_O2/basicassign.gts
index 50019a819..3ce0aed85 100644
Binary files a/src/test/incorrect/basicassign/clang_O2/basicassign.gts and b/src/test/incorrect/basicassign/clang_O2/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/clang_no_plt_no_pic/basicassign.gts b/src/test/incorrect/basicassign/clang_no_plt_no_pic/basicassign.gts
index 55f485638..0e7bda486 100644
Binary files a/src/test/incorrect/basicassign/clang_no_plt_no_pic/basicassign.gts and b/src/test/incorrect/basicassign/clang_no_plt_no_pic/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/clang_pic/basicassign.gts b/src/test/incorrect/basicassign/clang_pic/basicassign.gts
index bda97a839..a2915eeee 100644
Binary files a/src/test/incorrect/basicassign/clang_pic/basicassign.gts and b/src/test/incorrect/basicassign/clang_pic/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/gcc/basicassign.gts b/src/test/incorrect/basicassign/gcc/basicassign.gts
index c8caa7392..ebff1e64a 100644
Binary files a/src/test/incorrect/basicassign/gcc/basicassign.gts and b/src/test/incorrect/basicassign/gcc/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/gcc_O2/basicassign.gts b/src/test/incorrect/basicassign/gcc_O2/basicassign.gts
index 8366a68ec..f44e73bcf 100644
Binary files a/src/test/incorrect/basicassign/gcc_O2/basicassign.gts and b/src/test/incorrect/basicassign/gcc_O2/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/gcc_no_plt_no_pic/basicassign.gts b/src/test/incorrect/basicassign/gcc_no_plt_no_pic/basicassign.gts
index c5af40c61..976aeed13 100644
Binary files a/src/test/incorrect/basicassign/gcc_no_plt_no_pic/basicassign.gts and b/src/test/incorrect/basicassign/gcc_no_plt_no_pic/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign/gcc_pic/basicassign.gts b/src/test/incorrect/basicassign/gcc_pic/basicassign.gts
index 04ded683d..fe186fcec 100644
Binary files a/src/test/incorrect/basicassign/gcc_pic/basicassign.gts and b/src/test/incorrect/basicassign/gcc_pic/basicassign.gts differ
diff --git a/src/test/incorrect/basicassign1/clang/basicassign1.gts b/src/test/incorrect/basicassign1/clang/basicassign1.gts
index 084f4ac81..9462b6689 100644
Binary files a/src/test/incorrect/basicassign1/clang/basicassign1.gts and b/src/test/incorrect/basicassign1/clang/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/clang_O2/basicassign1.gts b/src/test/incorrect/basicassign1/clang_O2/basicassign1.gts
index 361e2bab8..3815728ca 100644
Binary files a/src/test/incorrect/basicassign1/clang_O2/basicassign1.gts and b/src/test/incorrect/basicassign1/clang_O2/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/clang_no_plt_no_pic/basicassign1.gts b/src/test/incorrect/basicassign1/clang_no_plt_no_pic/basicassign1.gts
index c16709254..08d91d79a 100644
Binary files a/src/test/incorrect/basicassign1/clang_no_plt_no_pic/basicassign1.gts and b/src/test/incorrect/basicassign1/clang_no_plt_no_pic/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/clang_pic/basicassign1.gts b/src/test/incorrect/basicassign1/clang_pic/basicassign1.gts
index 6804e2607..0a85fd701 100644
Binary files a/src/test/incorrect/basicassign1/clang_pic/basicassign1.gts and b/src/test/incorrect/basicassign1/clang_pic/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/gcc/basicassign1.gts b/src/test/incorrect/basicassign1/gcc/basicassign1.gts
index e8a38fe41..61ac7e6d9 100644
Binary files a/src/test/incorrect/basicassign1/gcc/basicassign1.gts and b/src/test/incorrect/basicassign1/gcc/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/gcc_O2/basicassign1.gts b/src/test/incorrect/basicassign1/gcc_O2/basicassign1.gts
index d69a17024..58470cc45 100644
Binary files a/src/test/incorrect/basicassign1/gcc_O2/basicassign1.gts and b/src/test/incorrect/basicassign1/gcc_O2/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/gcc_no_plt_no_pic/basicassign1.gts b/src/test/incorrect/basicassign1/gcc_no_plt_no_pic/basicassign1.gts
index d1f317c71..6d5406f93 100644
Binary files a/src/test/incorrect/basicassign1/gcc_no_plt_no_pic/basicassign1.gts and b/src/test/incorrect/basicassign1/gcc_no_plt_no_pic/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign1/gcc_pic/basicassign1.gts b/src/test/incorrect/basicassign1/gcc_pic/basicassign1.gts
index 78a3cbc8b..2395730e0 100644
Binary files a/src/test/incorrect/basicassign1/gcc_pic/basicassign1.gts and b/src/test/incorrect/basicassign1/gcc_pic/basicassign1.gts differ
diff --git a/src/test/incorrect/basicassign2/clang/basicassign2.gts b/src/test/incorrect/basicassign2/clang/basicassign2.gts
index 5c8880f1b..f70486025 100644
Binary files a/src/test/incorrect/basicassign2/clang/basicassign2.gts and b/src/test/incorrect/basicassign2/clang/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/clang_O2/basicassign2.gts b/src/test/incorrect/basicassign2/clang_O2/basicassign2.gts
index a1c4b4b69..1c979d6c5 100644
Binary files a/src/test/incorrect/basicassign2/clang_O2/basicassign2.gts and b/src/test/incorrect/basicassign2/clang_O2/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/clang_no_plt_no_pic/basicassign2.gts b/src/test/incorrect/basicassign2/clang_no_plt_no_pic/basicassign2.gts
index 803813bd9..aed1d28cc 100644
Binary files a/src/test/incorrect/basicassign2/clang_no_plt_no_pic/basicassign2.gts and b/src/test/incorrect/basicassign2/clang_no_plt_no_pic/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/clang_pic/basicassign2.gts b/src/test/incorrect/basicassign2/clang_pic/basicassign2.gts
index 248f0735d..8b940fbb5 100644
Binary files a/src/test/incorrect/basicassign2/clang_pic/basicassign2.gts and b/src/test/incorrect/basicassign2/clang_pic/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/gcc/basicassign2.gts b/src/test/incorrect/basicassign2/gcc/basicassign2.gts
index 2dca34578..4fe1f3b4d 100644
Binary files a/src/test/incorrect/basicassign2/gcc/basicassign2.gts and b/src/test/incorrect/basicassign2/gcc/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/gcc_O2/basicassign2.gts b/src/test/incorrect/basicassign2/gcc_O2/basicassign2.gts
index 9917c0a4f..e86bf66b2 100644
Binary files a/src/test/incorrect/basicassign2/gcc_O2/basicassign2.gts and b/src/test/incorrect/basicassign2/gcc_O2/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/gcc_no_plt_no_pic/basicassign2.gts b/src/test/incorrect/basicassign2/gcc_no_plt_no_pic/basicassign2.gts
index 35b3b2e4b..3a884eb54 100644
Binary files a/src/test/incorrect/basicassign2/gcc_no_plt_no_pic/basicassign2.gts and b/src/test/incorrect/basicassign2/gcc_no_plt_no_pic/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign2/gcc_pic/basicassign2.gts b/src/test/incorrect/basicassign2/gcc_pic/basicassign2.gts
index b168f2b74..bb8cb0e0b 100644
Binary files a/src/test/incorrect/basicassign2/gcc_pic/basicassign2.gts and b/src/test/incorrect/basicassign2/gcc_pic/basicassign2.gts differ
diff --git a/src/test/incorrect/basicassign3/clang/basicassign3.gts b/src/test/incorrect/basicassign3/clang/basicassign3.gts
index 8f88d6724..0412f5ad5 100644
Binary files a/src/test/incorrect/basicassign3/clang/basicassign3.gts and b/src/test/incorrect/basicassign3/clang/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/clang_O2/basicassign3.gts b/src/test/incorrect/basicassign3/clang_O2/basicassign3.gts
index eed8fdfad..97df94d43 100644
Binary files a/src/test/incorrect/basicassign3/clang_O2/basicassign3.gts and b/src/test/incorrect/basicassign3/clang_O2/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/clang_no_plt_no_pic/basicassign3.gts b/src/test/incorrect/basicassign3/clang_no_plt_no_pic/basicassign3.gts
index f0d5d7a73..2d3005cd6 100644
Binary files a/src/test/incorrect/basicassign3/clang_no_plt_no_pic/basicassign3.gts and b/src/test/incorrect/basicassign3/clang_no_plt_no_pic/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/clang_pic/basicassign3.gts b/src/test/incorrect/basicassign3/clang_pic/basicassign3.gts
index 38984e8c9..3cc8870ba 100644
Binary files a/src/test/incorrect/basicassign3/clang_pic/basicassign3.gts and b/src/test/incorrect/basicassign3/clang_pic/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/gcc/basicassign3.gts b/src/test/incorrect/basicassign3/gcc/basicassign3.gts
index a11d4cd2a..d41360d5a 100644
Binary files a/src/test/incorrect/basicassign3/gcc/basicassign3.gts and b/src/test/incorrect/basicassign3/gcc/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/gcc_O2/basicassign3.gts b/src/test/incorrect/basicassign3/gcc_O2/basicassign3.gts
index 064f8c71f..47f90b816 100644
Binary files a/src/test/incorrect/basicassign3/gcc_O2/basicassign3.gts and b/src/test/incorrect/basicassign3/gcc_O2/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/gcc_no_plt_no_pic/basicassign3.gts b/src/test/incorrect/basicassign3/gcc_no_plt_no_pic/basicassign3.gts
index a972ac91e..fc434d787 100644
Binary files a/src/test/incorrect/basicassign3/gcc_no_plt_no_pic/basicassign3.gts and b/src/test/incorrect/basicassign3/gcc_no_plt_no_pic/basicassign3.gts differ
diff --git a/src/test/incorrect/basicassign3/gcc_pic/basicassign3.gts b/src/test/incorrect/basicassign3/gcc_pic/basicassign3.gts
index f94b151ca..58985b52b 100644
Binary files a/src/test/incorrect/basicassign3/gcc_pic/basicassign3.gts and b/src/test/incorrect/basicassign3/gcc_pic/basicassign3.gts differ
diff --git a/src/test/incorrect/iflocal/clang/iflocal.gts b/src/test/incorrect/iflocal/clang/iflocal.gts
index 084a47a03..8206b2315 100644
Binary files a/src/test/incorrect/iflocal/clang/iflocal.gts and b/src/test/incorrect/iflocal/clang/iflocal.gts differ
diff --git a/src/test/incorrect/iflocal/clang_no_plt_no_pic/iflocal.gts b/src/test/incorrect/iflocal/clang_no_plt_no_pic/iflocal.gts
index 81bffa7ed..b3f52e7a7 100644
Binary files a/src/test/incorrect/iflocal/clang_no_plt_no_pic/iflocal.gts and b/src/test/incorrect/iflocal/clang_no_plt_no_pic/iflocal.gts differ
diff --git a/src/test/incorrect/iflocal/clang_pic/iflocal.gts b/src/test/incorrect/iflocal/clang_pic/iflocal.gts
index f493447d3..003c41e77 100644
Binary files a/src/test/incorrect/iflocal/clang_pic/iflocal.gts and b/src/test/incorrect/iflocal/clang_pic/iflocal.gts differ
diff --git a/src/test/incorrect/iflocal/gcc/iflocal.gts b/src/test/incorrect/iflocal/gcc/iflocal.gts
index dae295bb8..239aff40d 100644
Binary files a/src/test/incorrect/iflocal/gcc/iflocal.gts and b/src/test/incorrect/iflocal/gcc/iflocal.gts differ
diff --git a/src/test/incorrect/iflocal/gcc_no_plt_no_pic/iflocal.gts b/src/test/incorrect/iflocal/gcc_no_plt_no_pic/iflocal.gts
index b02c7a8d0..56461a9c8 100644
Binary files a/src/test/incorrect/iflocal/gcc_no_plt_no_pic/iflocal.gts and b/src/test/incorrect/iflocal/gcc_no_plt_no_pic/iflocal.gts differ
diff --git a/src/test/incorrect/iflocal/gcc_pic/iflocal.gts b/src/test/incorrect/iflocal/gcc_pic/iflocal.gts
index e461857e2..c07beed74 100644
Binary files a/src/test/incorrect/iflocal/gcc_pic/iflocal.gts and b/src/test/incorrect/iflocal/gcc_pic/iflocal.gts differ
diff --git a/src/test/incorrect/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts b/src/test/incorrect/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts
index 7131f36a7..3bbdffef3 100644
Binary files a/src/test/incorrect/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts and b/src/test/incorrect/malloc_memcpy_strlen_memset_free/clang_O2/malloc_memcpy_strlen_memset_free.gts differ
diff --git a/src/test/incorrect/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts b/src/test/incorrect/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts
index 4b113288f..c268a56a5 100644
Binary files a/src/test/incorrect/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts and b/src/test/incorrect/malloc_memcpy_strlen_memset_free/gcc_O2/malloc_memcpy_strlen_memset_free.gts differ
diff --git a/src/test/incorrect/nestedifglobal/clang/nestedifglobal.gts b/src/test/incorrect/nestedifglobal/clang/nestedifglobal.gts
index ffb311e74..a192b6c8c 100644
Binary files a/src/test/incorrect/nestedifglobal/clang/nestedifglobal.gts and b/src/test/incorrect/nestedifglobal/clang/nestedifglobal.gts differ
diff --git a/src/test/incorrect/nestedifglobal/clang_no_plt_no_pic/nestedifglobal.gts b/src/test/incorrect/nestedifglobal/clang_no_plt_no_pic/nestedifglobal.gts
index 40a151449..fb7741b19 100644
Binary files a/src/test/incorrect/nestedifglobal/clang_no_plt_no_pic/nestedifglobal.gts and b/src/test/incorrect/nestedifglobal/clang_no_plt_no_pic/nestedifglobal.gts differ
diff --git a/src/test/incorrect/nestedifglobal/clang_pic/nestedifglobal.gts b/src/test/incorrect/nestedifglobal/clang_pic/nestedifglobal.gts
index 84617f238..5537e93e6 100644
Binary files a/src/test/incorrect/nestedifglobal/clang_pic/nestedifglobal.gts and b/src/test/incorrect/nestedifglobal/clang_pic/nestedifglobal.gts differ
diff --git a/src/test/incorrect/nestedifglobal/gcc/nestedifglobal.gts b/src/test/incorrect/nestedifglobal/gcc/nestedifglobal.gts
index 725404406..58e2de420 100644
Binary files a/src/test/incorrect/nestedifglobal/gcc/nestedifglobal.gts and b/src/test/incorrect/nestedifglobal/gcc/nestedifglobal.gts differ
diff --git a/src/test/incorrect/nestedifglobal/gcc_no_plt_no_pic/nestedifglobal.gts b/src/test/incorrect/nestedifglobal/gcc_no_plt_no_pic/nestedifglobal.gts
index 03d8a27c6..b43d72051 100644
Binary files a/src/test/incorrect/nestedifglobal/gcc_no_plt_no_pic/nestedifglobal.gts and b/src/test/incorrect/nestedifglobal/gcc_no_plt_no_pic/nestedifglobal.gts differ
diff --git a/src/test/incorrect/nestedifglobal/gcc_pic/nestedifglobal.gts b/src/test/incorrect/nestedifglobal/gcc_pic/nestedifglobal.gts
index 73e6d988b..92bb7b89c 100644
Binary files a/src/test/incorrect/nestedifglobal/gcc_pic/nestedifglobal.gts and b/src/test/incorrect/nestedifglobal/gcc_pic/nestedifglobal.gts differ