We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f58757f commit d6352b4Copy full SHA for d6352b4
1 file changed
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
@@ -3208,6 +3208,13 @@ class TranslatedBuiltInOperation extends TranslatedNonConstantExpr {
3208
3209
final override Instruction getResult() { result = this.getInstruction(OnlyInstructionTag()) }
3210
3211
+ /**
3212
+ * Gets the rnk'th (0-indexed) child for which a `TranslatedElement` exists.
3213
+ *
3214
+ * We use this predicate to filter out `TypeName` expressions that sometimes
3215
+ * occur in builtin operations since the IR doesn't have an instruction to
3216
+ * represent a reference to a type.
3217
+ */
3218
private TranslatedElement getRankedChild(int rnk) {
3219
result = rank[rnk + 1](int id, TranslatedElement te | te = this.getChild(id) | te order by id)
3220
}
0 commit comments