diff --git a/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll b/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll index f56c1b8dfff0..8d4bb4cae5a0 100644 --- a/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll +++ b/shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll @@ -881,7 +881,7 @@ module MakeModelGenerator< string captureMixedFlow(DataFlowSummaryTargetApi api, boolean lift) { result = ContentSensitive::captureFlow(api, lift) or - not exists(ContentSensitive::captureFlow(api, lift)) and + not exists(ContentSensitive::captureFlow(api, _)) and result = captureFlow(api) and lift = true }