From 1f43e51be426caeb850bc80e4554bbb880f15e28 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 11 Apr 2025 20:01:31 +0100 Subject: [PATCH] C++: Fix ql-for-ql findings. --- cpp/ql/lib/utils/test/InlineMadTest.qll | 2 +- cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/cpp/ql/lib/utils/test/InlineMadTest.qll b/cpp/ql/lib/utils/test/InlineMadTest.qll index 599dfec7d86..4fbfa793fff 100644 --- a/cpp/ql/lib/utils/test/InlineMadTest.qll +++ b/cpp/ql/lib/utils/test/InlineMadTest.qll @@ -9,7 +9,7 @@ private module InlineMadTestLang implements InlineMadTestLangSig { class Callable = MadRelevantFunction; /** - * Holds if `c` is the closest `Callable` that suceeds `comment` in the file. + * Holds if `c` is the closest `Callable` that succeeds `comment` in the file. */ private predicate hasClosestCallable(CppStyleComment comment, Callable c) { c = diff --git a/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll b/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll index 6439cd46749..d33786b2b30 100644 --- a/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll +++ b/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll @@ -3,7 +3,6 @@ */ private import cpp -private import semmle.code.cpp.dataflow.new.DataFlow private import semmle.code.cpp.ir.IR private import semmle.code.cpp.dataflow.ExternalFlow as ExternalFlow private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon