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 386580f commit 2a7420cCopy full SHA for 2a7420c
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/TypeFlow.qll
@@ -7,7 +7,7 @@ private module Input implements TypeFlowInput<Location> {
7
// The address of a variable is always a single object
8
i instanceof VariableAddressInstruction
9
or
10
- // A reference always points to a always a single object
+ // A reference always points to a single object
11
i.getResultLanguageType().hasUnspecifiedType(any(ReferenceType rt), false)
12
13
// `this` is never an array
0 commit comments