Skip to content

Commit bd0ddec

Browse files
committed
C++: Fix join order in 'cpp/double-free'.
1 parent a8dac17 commit bd0ddec

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

cpp/ql/src/Critical/DoubleFree.ql

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,5 @@ where
3737
DoubleFree::flowPath(source, sink) and
3838
isFree(source.getNode(), _, _, dealloc) and
3939
isFree(sink.getNode(), e2)
40-
select sink.getNode(), source, sink,
41-
"Memory pointed to by '" + e2.toString() + "' may already have been freed by $@.", dealloc,
42-
dealloc.toString()
40+
select sink.getNode(), source, sink, "Memory pointed to by $@ may already have been freed by $@.",
41+
e2, e2.toString(), dealloc, dealloc.toString()

0 commit comments

Comments
 (0)