The static analyzer is warning about a potential null dereference, assert to check that the loop has set the cached pointer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@374789
91177308-0d34-0410-b5e6-
96231b3b80d8
CachedBitVarRef = CurBitVar->getBitVar();
CachedBitVarResolved = CachedBitVarRef->resolveReferences(R);
}
-
+ assert(CachedBitVarResolved && "Unresolved bitvar reference");
NewBit = CachedBitVarResolved->getBit(CurBitVar->getBitNum());
} else {
// getBit(0) implicitly converts int and bits<1> values to bit.