CodeQL library for C#
Search

Predicate foreachEmptiness

Holds if cfe is the element inside foreach statement fs that has the emptiness completion.

Import path

import semmle.code.csharp.controlflow.internal.Completion
predicate foreachEmptiness(ForeachStmt fs, ControlFlowElement cfe)