An alloca can be equal to an argument. It can't *alias* an alloca, but it could