C++: Add MaD model for 'CPathT'.

2026-04-29 18:55:14 +02:00 · 2024-11-27 14:15:17 +00:00
parent 1a79290fd6
commit 354361952a
2 changed files with 23 additions and 1 deletions
--- a/cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp
+++ b/cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp
@@ -703,6 +703,6 @@ void test_CPathT() {
    CPath p;
    auto p2 = p.CommonPrefix(x);
    sink(p2.m_strPath); // $ MISSING: ir
-    sink(p2.GetExtension()); // $ MISSING: ir
+    sink(p2.GetExtension()); // $ ir
  }
 }