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

C++: autoformat

Browse Source
This commit is contained in:
Robert Marsh
2020-09-18 14:19:29 -07:00
parent b84bf5e9bb
commit bd7f5a41d1
2 changed files with 6 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll
View File

@@ -284,12 +284,10 @@ abstract class PostUpdateNode extends Node {
override Location getLocation() { result = getPreUpdateNode().getLocation() }
}
private abstract class PartialDefinitionNode extends PostUpdateNode, TPartialDefinitionNode {
abstract private class PartialDefinitionNode extends PostUpdateNode, TPartialDefinitionNode {
PartialDefinition pd;
PartialDefinitionNode() {
this = TPartialDefinitionNode(pd)
}
PartialDefinitionNode() { this = TPartialDefinitionNode(pd) }
override Location getLocation() { result = pd.getActualLocation() }
@@ -306,7 +304,7 @@ private class VariablePartialDefinitionNode extends PartialDefinitionNode {
/**
* INTERNAL: do not use.
*
*
* A synthetic data flow node used for flow into a collection when an iterator
* write occurs in a callee.
*/

8
cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll
View File

@@ -112,13 +112,11 @@ private module PartialDefinitions {
abstract class PartialDefinition extends Expr {
ControlFlowNode node;
PartialDefinition() {
not this instanceof Conversion
}
PartialDefinition() { not this instanceof Conversion }
deprecated abstract predicate partiallyDefines(Variable v);
abstract deprecated predicate partiallyDefines(Variable v);
deprecated abstract predicate partiallyDefinesThis(ThisExpr e);
abstract deprecated predicate partiallyDefinesThis(ThisExpr e);
/**
* Gets the subBasicBlock where this `PartialDefinition` is defined.