Simmo Saan
Simmo Saan
I suppose we could have two options to control this behavior: 1. `sem.malloc.zero.null` - boolean whether `malloc(0)` may return `NULL`. 2. `sem.malloc.zero.blob` - boolean whether `malloc(0)` may return a (pointer...
Just `ask` isn't enough for these kinds of things though, they also need `global`. For example, the deadlock analysis needs to traverse the entire cycle starting from a global.
Hmm, yes, real-world programs might actually use these. The sensible thing would be to actually check if the program uses them other than the declaration.
I haven't checked if this is possible, but maybe we could even add `ctx` to the arguments of `context`. That gives access to the caller node (and thus its `fundec`)....