Update cpp/ql/src/Security/CWE/CWE-416/Temporaries.qll

Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
This commit is contained in:
Alexander Eyers-Taylor
2023-12-15 11:23:11 +00:00
committed by GitHub
parent 49e1467581
commit c68d3c5983

View File

@@ -45,7 +45,7 @@ predicate isStoredInContainer(Expr e) {
/**
* Holds if `e` or a conversion of `e` has an lvalue-to-rvalue conversion.
*/
predicate hasLValueToRValueConversion(Expr e) {
private predicate hasLValueToRValueConversion(Expr e) {
e.getConversion*().hasLValueToRValueConversion() and
not e instanceof ConditionalExpr // ConditionalExpr may be spuriously reported as having an lvalue-to-rvalue conversion
}