When analyzing functions known to only access argument pointees,