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

C++: Optimise quadratic code in PreprocessorBranchDirective

Browse Source
This commit is contained in:
Edoardo Pirovano
2019-05-17 12:50:14 +01:00
parent 8256f2e736
commit 30198c326d
1 changed files with 16 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
cpp/ql/src/semmle/code/cpp/Preprocessor.qll
View File

@@ -73,14 +73,24 @@ abstract class PreprocessorBranchDirective extends PreprocessorDirective {
* `somePreprocessorBranchDirective`.
*/
PreprocessorBranchDirective getNext() {
getIf() = result.getIf() and
getLocation().getStartLine() < result.getLocation().getStartLine() and
not exists(PreprocessorBranchDirective other |
getIf() = other.getIf() and
getLocation().getStartLine() < other.getLocation().getStartLine() and
other.getLocation().getStartLine() < result.getLocation().getStartLine()
exists(PreprocessorBranch branch |
this.getIndexInBranch(branch) + 1 = result.getIndexInBranch(branch)
)
}
/**
* Gets the index of this branching directive within the matching #if,
* #ifdef or #ifndef.
*/
private int getIndexInBranch(PreprocessorBranch branch) {
this = rank[result](PreprocessorBranchDirective other |
other.getIf() = branch
|
other
order by
other.getLocation().getStartLine()
)
}
}
/**