a3acf66077
Because, as OriansJ found, we don't want to read the first bytes of the
value as a pointer. See global_load() for programs like:
char* s = "xyzzy\n";
int main(void){ file_print(s, 1); return 0; }
There's an alternative: "fix the GLOBAL behavior to be type sensitive" but
this indirect store was choosen because it "preserve[s] the ability to
assign new strings to a global char*".
|
||
|---|---|---|
| .. | ||
| .gitignore | ||
| cleanup.sh | ||
| hello-armv7l.sh | ||
| hello-knight-posix.sh | ||
| hello-x86.sh | ||
| hello.sh | ||
| proof.answer | ||