public override T VisitCFGForeachEnumereeEdge(ForeachEnumereeEdge x)
{
base.VisitCFGForeachEnumereeEdge(x);
var enumereeTypeMask = x.Enumeree.TypeRefMask;
if (!enumereeTypeMask.IsAnyType && !enumereeTypeMask.IsRef)
{
// Apart from array, any object can possibly implement Traversable, hence no warning for them
var types = TypeCtx.GetTypes(enumereeTypeMask);
if (!types.Any(t => t.IsArray || t.IsObject)) // Using !All causes too many false positives (due to explode(..) etc.)
{
// Using non-iterable type for enumeree
_diagnostics.Add(_routine, x.Enumeree.PhpSyntax, ErrorCode.WRN_ForeachNonIterable, TypeCtx.ToString(enumereeTypeMask));
}
}
return default;
}
public override void VisitCFGForeachEnumereeEdge(ForeachEnumereeEdge x)
{
Accept(x.Enumeree);
VisitCFGSimpleEdge(x);
}
