Predicate SsaCached::ssaDefReachesReadExt
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate ssaDefReachesReadExt(SourceVariable v, DefinitionExt def, IRBlock bb, int i)import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate ssaDefReachesReadExt(SourceVariable v, DefinitionExt def, IRBlock bb, int i)