Add pragma to prevent accidental inlining.

This commit is contained in:
Max Schaefer
2020-08-10 14:51:28 +01:00
parent 75795d80c4
commit 6d35c60acb

View File

@@ -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