Verify that the second parameter of the stacprotector intrinsic is an alloca