From 6d35c60acbbbe8f7196d8dda30e69c487c2559d2 Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Mon, 10 Aug 2020 14:51:28 +0100 Subject: [PATCH] Add pragma to prevent accidental inlining. --- .../upgrade_comment_groups.ql | 1 + 1 file changed, 1 insertion(+) diff --git a/upgrades/ee5c327face2866a7b3b12dcce5c291be52ebf52/upgrade_comment_groups.ql b/upgrades/ee5c327face2866a7b3b12dcce5c291be52ebf52/upgrade_comment_groups.ql index 4a7e37da40b..d4ce1ad001c 100644 --- a/upgrades/ee5c327face2866a7b3b12dcce5c291be52ebf52/upgrade_comment_groups.ql +++ b/upgrades/ee5c327face2866a7b3b12dcce5c291be52ebf52/upgrade_comment_groups.ql @@ -33,6 +33,7 @@ Location getLocation(CommentGroup cg) { not exists(cg.getLocation()) and result = cg.getComment(0).getLocation() } +pragma[noinline] predicate hasLocation(CommentGroup cg, File f, int startLine) { exists(Location loc | loc = getLocation(cg) | f = loc.getFile() and