Update cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.ql

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2026-03-30 11:26:24 +01:00
committed by GitHub
parent 78c0c7cb76
commit 29768bbed4

View File

@@ -21,7 +21,7 @@ module IrTest {
query predicate irTypeBugs(Location location, Node node) {
exists(int n |
// Flow summary nodes don't have a type since we don't (necessary) have
// Flow summary nodes don't have a type since we don't necessarily have
// the source code in the database.
not node instanceof FlowSummaryNode and
n = count(node.getType()) and