Memory access issues

[zayac]

The current version causes some memory tests to fail:

95% tests passed, 10 tests failed out of 204

Total Test time (real) =  66.15 sec

The following tests FAILED:
        125 - memory_test_/home/zayac/code/eq/tests/codegen_tests_python/streams-first-class2.tex (Failed)
        129 - memory_test_/home/zayac/code/eq/tests/codegen_tests_python/fail_tests/d.tex (Failed)
        136 - memory_test_/home/zayac/code/eq/tests/codegen_tests_python/print.tex (Failed)
        137 - memory_test_/home/zayac/code/eq/tests/codegen_tests_python/d.tex (Failed)
        139 - memory_test_/home/zayac/code/eq/tests/codegen_tests_python/streams-first-class.tex (Failed)
        144 - memory_test_/home/zayac/code/eq/tests/parser_tests/md5.tex (Failed)
        154 - memory_test_/home/zayac/code/eq/tests/parser_tests/3.tex (Failed)
        155 - memory_test_/home/zayac/code/eq/tests/parser_tests/print.tex (Failed)
        189 - memory_test_/home/zayac/code/eq/tests/type_tests/fail_tests/print.tex (Failed)
        201 - memory_test_/home/zayac/code/eq/tests/type_tests/print.tex (Failed)

Need to find out invalid read/write memory accesses.

Another bug was introduced by SSA implementation in 98e170e. For example, the following test causes segmentation fault in malloc_consolidate() function.

\begin{eqcode}{\mu}{\ }{\ }{\type{Z}}
  a \gets 1 \lend
  b \in \overline{\type{Z}} \lend
  a \gets a \lend
  b^{[0]} \gets 1 \lend
  b^{[\iter]} \gets b^{[\iter - 1]} \lend
  \return {b^{[a]}} \lend
\end{eqcode}

Earlier compiler version handles this properly.