C++: Fix Code Scanning alert.

This commit is contained in:
Mathias Vorreiter Pedersen
2026-01-19 11:41:26 +00:00
parent a11b271d6e
commit c70633a0f7

View File

@@ -1056,8 +1056,6 @@ private module Cached {
av.isNotNull() and result.isNonNullValue()
}
private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate as Private
private predicate barrierGuardChecks(IRGuardCondition g, Expr e, boolean gv, TKindModelPair kmp) {
exists(
SourceSinkInterpretationInput::InterpretNode n, Public::AcceptingValue acceptingvalue,