From d61022ffcc17582c057b5fe74ba117ff70a03cf6 Mon Sep 17 00:00:00 2001 From: alexet Date: Mon, 17 Dec 2018 14:59:12 +0000 Subject: [PATCH] C++: Improve optimiser performance --- .../cpp/ir/implementation/raw/internal/TranslatedExpr.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll index 53103ae4ca1..7f4acaba6d8 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll @@ -959,7 +959,7 @@ class TranslatedFunctionAccess extends TranslatedNonConstantExpr { /** * IR translation of an expression whose value is not known at compile time. */ -abstract class TranslatedNonConstantExpr extends TranslatedCoreExpr { +abstract class TranslatedNonConstantExpr extends TranslatedCoreExpr, TTranslatedValueExpr { TranslatedNonConstantExpr() { this = TTranslatedValueExpr(expr) and not expr.isConstant() @@ -971,7 +971,7 @@ abstract class TranslatedNonConstantExpr extends TranslatedCoreExpr { * includes not only literals, but also "integral constant expressions" (e.g. * `1 + 2`). */ -abstract class TranslatedConstantExpr extends TranslatedCoreExpr { +abstract class TranslatedConstantExpr extends TranslatedCoreExpr, TTranslatedValueExpr { TranslatedConstantExpr() { this = TTranslatedValueExpr(expr) and expr.isConstant()