This is necessary for the improved tree sanity checks
in traverse.c

Simplified signature of LiftId() and LiftIds().

immediately restoring ssa form by using an otheriwse outdated function
in ssa.c, we restore ssa form in a separate subphase as in all other
similar cases.

on demand.

Removed RETURN_REFERENCE as it was no longer used.

                            prior to insert vardec
reenabled CLEANMEM in developer version. Although this slows down the
performance of sac2c, many errors were not detected any more.

MUST occur before final typechecking because the type checker
does currently not support multi-operator with-loops.

The sequence of subphases in phase_info.mac has been adjusted
to the reality in optimize.c.

Unfortunately, the first bug fix attempt showed no success.

changed the output the memcheck functions; added (sac2c) -d memcheck to start the memchecks; fix some problems in treecheck mechanimn

a given with-loop.

functions are tagged ST to smooth the further compilation process.

SpmdLift now removes vardecs of variables that have been lifted and
in the case of unconditional spmd blocks no longer occur in the
original function.

of the code: a sequential and a multithreaded world. Switching from
one world to the other is exclusively by SPMD blocks. In module/class
implementations we still create two versions of exported/provided
functions.

Moved inference of data flow masks from concurrent.c to
spmd_init.c as it is no proper compilation subphase.

provided module/class functions.

Now, we consistently use name tuples in all positions.

char* to unsigned char* in order to reflect the change in the
implementation of the SAC built-in type char. The inconsistency
led to warnings when using gcc 4 before.