Merge pull request #4782 from johnlugton/patch-1

Fix FlowVar overflow bug
2025-12-16 16:53:25 +01:00 · 2020-12-04 10:48:44 -08:00
parent 2d505636b4 897d66bea9
commit d7a27c4c8e
1 changed files with 1 additions and 1 deletions
--- a/cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll
+++ b/cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll
@@ -598,7 +598,7 @@ module FlowVar_internal {
  private predicate largeVariable(Variable v, int liveBlocks, int defs) {
    liveBlocks = strictcount(SubBasicBlock sbb | variableLiveInSBB(sbb, v)) and
    defs = strictcount(SubBasicBlock sbb | exists(TBlockVar(sbb, v))) and
-    liveBlocks * defs > 10000
+    liveBlocks.(float) * defs.(float) > 10000.0
  }

  /**