go: make sure the source/sink have the same type as the edges relation

This commit is contained in:
erik-krogh
2022-11-02 13:10:29 +01:00
parent c9fcef2608
commit f9195d194b

View File

@@ -66,4 +66,5 @@ query predicate edges(CallGraphNode pred, CallGraphNode succ) {
from LoopStmt loop, DatabaseAccess dbAccess
where edges*(loop, dbAccess.asExpr())
select dbAccess, loop, dbAccess, "This calls " + dbAccess.toString() + " in a $@.", loop, "loop"
select dbAccess, loop, dbAccess.asExpr(), "This calls " + dbAccess.toString() + " in a $@.", loop,
"loop"