I don't know the precise definition for all such alloca's yet.
Something like:
- address does not escape the function, is never passed to a cveassert check
OR
- not address taken
Not address taken would be simpler to implement, the above might find more cases.
I don't know the precise definition for all such alloca's yet.
Something like:
OR
Not address taken would be simpler to implement, the above might find more cases.