False positive "undefined variable" inside elseif branch when the condition uses isset
False positive "undefined variable" inside elseif branch when the condition uses isset: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). False positive "undefined variable" inside elseif branch when the condition uses isset I'm running noverify on a fairly small PHP file and…
The task
False positive "undefined variable" inside elseif branch when the condition uses isset I'm running noverify on a fairly small PHP file and it's flagging variables as undefined in an elseif branch even though I clearly guard them with isset in that same elseif's condition.…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.