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

C++: Improve QLDoc on assignmentLikeOperation

Browse Source
This commit is contained in:
Jonas Jensen
2019-08-09 15:06:19 +02:00
parent 2c6dbacd2b
commit 8aa24fe5c9
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -603,10 +603,14 @@ module FlowVar_internal {
}
/**
* Holds if `v` is modified as a side effect of evaluating `node`, receiving a
* value best described by `e`. This corresponds to `FlowVar::definedByExpr`,
* except that the case where `node instanceof Initializer` is covered by
* `initializer` instead of this predicate.
* Holds if `v` is modified through `va` as a side effect of evaluating
* `node`, receiving a value best described by `assignedExpr`.
* Assignment-like operations are those that desugar to a non-overloaded `=`
* assignment: `=`, `+=`, `++`, `--`, etc.
*
* This corresponds to `FlowVar::definedByExpr`, except that the case where
* `node instanceof Initializer` is covered by `initializer` instead of this
* predicate.
*/
predicate assignmentLikeOperation(
ControlFlowNode node, Variable v, VariableAccess va, Expr assignedExpr