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

C++: Autoformat

Browse Source
This commit is contained in:
Jonas Jensen
2020-01-22 14:07:55 +01:00
parent 9d35ff73c4
commit 5ae1e2c4e8
4 changed files with 5 additions and 15 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/AliasAnalysis.qll
View File

@@ -280,9 +280,7 @@ private predicate automaticVariableAddressEscapes(IRAutomaticVariable var) {
predicate variableAddressEscapes(IRVariable var) {
exists(IREscapeAnalysisConfiguration config |
config.useSoundEscapeAnalysis() and
(
automaticVariableAddressEscapes(var.(IRAutomaticVariable))
)
automaticVariableAddressEscapes(var.(IRAutomaticVariable))
)
or
// All variables with static storage duration have their address escape, even when escape analysis

8
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
View File

@@ -1947,9 +1947,7 @@ class TranslatedThrowValueExpr extends TranslatedThrowExpr, TranslatedVariableIn
result = TranslatedVariableInitialization.super.getInstructionSuccessor(tag, kind)
}
final override Instruction getInitializationSuccessor() {
result = getInstruction(ThrowTag())
}
final override Instruction getInitializationSuccessor() { result = getInstruction(ThrowTag()) }
final override predicate hasTempVariable(TempVariableTag tag, CppType type) {
tag = ThrowTempVar() and
@@ -1981,9 +1979,7 @@ class TranslatedThrowValueExpr extends TranslatedThrowExpr, TranslatedVariableIn
result = getTranslatedInitialization(expr.getExpr().getFullyConverted())
}
final override IRVariable getIRVariable() {
result = getIRTempVariable(expr, ThrowTempVar())
}
final override IRVariable getIRVariable() { result = getIRTempVariable(expr, ThrowTempVar()) }
final override Opcode getThrowOpcode() { result instanceof Opcode::ThrowValue }

4
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/TranslatedStmt.qll
View File

@@ -143,9 +143,7 @@ class TranslatedReturnValueStmt extends TranslatedReturnStmt, TranslatedVariable
result = getTranslatedInitialization(stmt.getExpr().getFullyConverted())
}
final override IRVariable getIRVariable() {
result = getEnclosingFunction().getReturnVariable()
}
final override IRVariable getIRVariable() { result = getEnclosingFunction().getReturnVariable() }
}
class TranslatedReturnVoidStmt extends TranslatedReturnStmt {

4
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll
View File

@@ -280,9 +280,7 @@ private predicate automaticVariableAddressEscapes(IRAutomaticVariable var) {
predicate variableAddressEscapes(IRVariable var) {
exists(IREscapeAnalysisConfiguration config |
config.useSoundEscapeAnalysis() and
(
automaticVariableAddressEscapes(var.(IRAutomaticVariable))
)
automaticVariableAddressEscapes(var.(IRAutomaticVariable))
)
or
// All variables with static storage duration have their address escape, even when escape analysis