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

C++: autoformat

Browse Source
This commit is contained in:
Robert Marsh
2020-11-18 11:02:58 -08:00
parent 693626e460
commit 5753a2d401
5 changed files with 15 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
View File

@@ -94,9 +94,7 @@ class Instruction extends Construction::TStageInstruction {
private string getConflationPrefix() {
shouldGenerateDumpStrings() and
if isResultConflated()
then result = "%"
else result = ""
if isResultConflated() then result = "%" else result = ""
}
/**
@@ -150,7 +148,8 @@ class Instruction extends Construction::TStageInstruction {
*/
final string getResultString() {
shouldGenerateDumpStrings() and
result = getConflationPrefix() + getResultId() + "(" + getResultLanguageType().getDumpString() + ")"
result =
getConflationPrefix() + getResultId() + "(" + getResultLanguageType().getDumpString() + ")"
}
/**

7
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
View File

@@ -94,9 +94,7 @@ class Instruction extends Construction::TStageInstruction {
private string getConflationPrefix() {
shouldGenerateDumpStrings() and
if isResultConflated()
then result = "%"
else result = ""
if isResultConflated() then result = "%" else result = ""
}
/**
@@ -150,7 +148,8 @@ class Instruction extends Construction::TStageInstruction {
*/
final string getResultString() {
shouldGenerateDumpStrings() and
result = getConflationPrefix() + getResultId() + "(" + getResultLanguageType().getDumpString() + ")"
result =
getConflationPrefix() + getResultId() + "(" + getResultLanguageType().getDumpString() + ")"
}
/**

7
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
View File

@@ -94,9 +94,7 @@ class Instruction extends Construction::TStageInstruction {
private string getConflationPrefix() {
shouldGenerateDumpStrings() and
if isResultConflated()
then result = "%"
else result = ""
if isResultConflated() then result = "%" else result = ""
}
/**
@@ -150,7 +148,8 @@ class Instruction extends Construction::TStageInstruction {
*/
final string getResultString() {
shouldGenerateDumpStrings() and
result = getConflationPrefix() + getResultId() + "(" + getResultLanguageType().getDumpString() + ")"
result =
getConflationPrefix() + getResultId() + "(" + getResultLanguageType().getDumpString() + ")"
}
/**