Add global vars

@jung What do you think of this approach of adding global variables? It adds a new GlobalVar n expression and distinguishes between block ids that come from an allocation and from a global variable.

I like this approach.

So, what's unusual about this is that one can already tell from the pointer whether it points to a global or dynamic allocation. Usually I would expect this information to be encoded in the allocation, and there'd be a gmap string block that says, for each global variable, in which block it is stored.

But this approach works equally well I think, since the program cannot inspect the structure of the pointer anyway... so, yeah, I'd say go for it!

added 3 commits

• d529b12b...3a9de9c0 - 2 commits from branch master
• 190d06b9 - start adding global vars

Compare with previous version

added 4 commits

• 190d06b9...db1592cc - 2 commits from branch master
• 96123d55 - start adding global vars
• 41ca0003 - start with updating logical heap for global vars

Compare with previous version

added 1 commit

• b20a6ee8 - start adding global vars

Compare with previous version

resolved all threads

@jung I finished this MR. Please have a look and let me know what you think.

marked this merge request as ready

added 1 commit

• f3369b30 - finish adding global vars

Compare with previous version

added 1 commit

• 1c06beb7 - finish adding global vars

Compare with previous version

added 1 commit

• 64314d32 - finish adding global vars

Compare with previous version

added 1 commit

• 5c1b28be - finish adding global vars

Compare with previous version