hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Speed it up.

Browse Source
This commit is contained in:
Geoffrey White
2018-10-29 16:52:44 +00:00
parent 55465c3eae
commit fc6b791f58
1 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/src/Best Practices/Likely Errors/EmptyBlock.ql
View File

@@ -91,13 +91,15 @@ predicate emptyBlockContainsNonchild(Block b) {
*/
predicate lineComment(Block b) {
emptyBlock(_, b) and
exists(File f, int line |
f = b.getFile() and
line = b.getLocation().getStartLine() and
line = b.getLocation().getEndLine() and
exists(Comment c |
c.getFile() = f and
c.getLocation().getStartLine() = line
exists(Location bLocation, File f, int line |
bLocation = b.getLocation() and
f = bLocation.getFile() and
line = bLocation.getStartLine() and
line = bLocation.getEndLine() and
exists(Comment c, Location cLocation |
cLocation = c.getLocation() and
cLocation.getFile() = f and
cLocation.getStartLine() = line
)
)
}