We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 004f367 commit bbc9931Copy full SHA for bbc9931
cpp/ql/lib/semmle/code/cpp/controlflow/BasicBlocks.qll
@@ -12,7 +12,7 @@ private import internal.ConstantExprs
12
* relation). The refinement manifests itself in two changes:
13
*
14
* - The successor relation on `BasicBlock`s uses `successors_adapted`
15
- * (instead of `successors_extended` used by `PrimtiveBasicBlock`s). Consequently,
+ * (instead of `successors_extended` used by `PrimitiveBasicBlock`s). Consequently,
16
* some edges between `BasicBlock`s may be removed. Example:
17
* ```
18
* x = 1; // s1
0 commit comments