diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll index fa8e617c8de..4e8acfe8187 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll @@ -2288,6 +2288,10 @@ private module ContentStars { result = "*" + repeatStars(n - 1) } + /** + * Gets the number of stars (i.e., `*`s) needed to produce the `toString` + * output for `c`. + */ string contentStars(Content c) { result = repeatStars(c.getIndirectionIndex() - 1) } }