Add notification prior to alloca Instructions, and use this to ensure that new allocations will not overflow the stack. We check the range of the known stack allocations against the soft limit retrieved from getrlimit.