hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 11:46:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: autoformat

Browse Source
This commit is contained in:
Robert Marsh
2020-01-14 13:17:57 -08:00
parent ba9741f552
commit 42be28b211
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll
View File

@@ -401,9 +401,7 @@ private predicate isRelatableMemoryLocation(VariableMemoryLocation vml) {
vml.getStartBitOffset() != Ints::unknown() vml.getStartBitOffset() != Ints::unknown()
} }
private predicate isCoveredOffset( private predicate isCoveredOffset(IRVariable var, int offsetRank, VariableMemoryLocation vml) {
IRVariable var, int offsetRank, VariableMemoryLocation vml
) {
exists(int startRank, int endRank, VirtualVariable vvar | exists(int startRank, int endRank, VirtualVariable vvar |
vml.getStartBitOffset() = rank[startRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and vml.getStartBitOffset() = rank[startRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and
vml.getEndBitOffset() = rank[endRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and vml.getEndBitOffset() = rank[endRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and