We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b575747 commit aed14f2Copy full SHA for aed14f2
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
@@ -415,7 +415,9 @@ predicate hasTranslatedLoad(Expr expr) {
415
not ignoreExpr(expr) and
416
not isNativeCondition(expr) and
417
not isFlexibleCondition(expr) and
418
- not ignoreLoad(expr)
+ not ignoreLoad(expr) and
419
+ // don't insert a load since we'll just substitute the constant value.
420
+ not isIRConstant(expr)
421
}
422
423
/**
0 commit comments