C++: Remove unused abstract predicate

jketema · jketema · commit e1b1657cddba · 2022-08-12T18:43:23.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
@@ -1450,8 +1450,6 @@ class TranslatedAssignExpr extends TranslatedNonConstantExpr {
       result = this.getLeftOperand().getResult()
   }
 
-  abstract Instruction getStoredValue();
-
   final TranslatedExpr getLeftOperand() {
     result = getTranslatedExpr(expr.getLValue().getFullyConverted())
   }

Original file line number	Diff line number	Diff line change
`@@ -1450,8 +1450,6 @@ class TranslatedAssignExpr extends TranslatedNonConstantExpr {`
`1450`	`1450`	`result = this.getLeftOperand().getResult()`
`1451`	`1451`	`}`
`1452`	`1452`
`1453`		`- abstract Instruction getStoredValue();`
`1454`		`-`
`1455`	`1453`	`final TranslatedExpr getLeftOperand() {`
`1456`	`1454`	`result = getTranslatedExpr(expr.getLValue().getFullyConverted())`
`1457`	`1455`	`}`