Update cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Co-authored-by: Jonas Jensen <jbj@github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2020-12-22 15:57:34 +01:00
committed by GitHub
parent ec35e0d518
commit b95cf94824

View File

@@ -239,7 +239,7 @@ FieldNode getFieldNodeForFieldInstruction(Instruction instr) {
* INTERNAL: do not use. A `FieldNode` represents the state of a field before any partial definitions
* of the field. For instance, in the snippet:
* ```cpp
* struct A { int b, c; };
* struct A { struct B { int c; } b; };
* // ...
* A a;
* f(a.b.c);