We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a59c0fa commit 0aba965Copy full SHA for 0aba965
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -303,10 +303,12 @@ ParameterNode parameterNode(Parameter p) { result.getParameter() = p }
303
VariableNode variableNode(Variable v) { result.getVariable() = v }
304
305
/**
306
+ * DEPRECATED: See UninitializedNode.
307
+ *
308
* Gets the `Node` corresponding to the value of an uninitialized local
309
* variable `v`.
310
*/
-UninitializedNode uninitializedNode(LocalVariable v) { result.getLocalVariable() = v }
311
+Node uninitializedNode(LocalVariable v) { none() }
312
313
314
* Holds if data flows from `nodeFrom` to `nodeTo` in exactly one local
0 commit comments