From: Namhyung Kim <namhyung@kernel.org>
To: Arnaldo Carvalho de Melo <acme@kernel.org>
Cc: Ian Rogers <irogers@google.com>, Jiri Olsa <jolsa@kernel.org>,
Adrian Hunter <adrian.hunter@intel.com>,
James Clark <james.clark@linaro.org>,
Peter Zijlstra <peterz@infradead.org>,
Ingo Molnar <mingo@kernel.org>,
LKML <linux-kernel@vger.kernel.org>,
linux-perf-users@vger.kernel.org, Zecheng Li <zli94@ncsu.edu>,
Yanbo Zhao <yzhao62@ncsu.edu>,
Tengda Wu <wutengda@huaweicloud.com>,
Shuai Xue <xueshuai@linux.alibaba.com>,
Masami Hiramatsu <mhiramat@kernel.org>
Subject: [PATCH v3 1/3] perf dwarf-aux: Add die_has_flex_array() helper
Date: Mon, 14 Sep 2026 23:40:33 -0700 [thread overview]
Message-ID: <20260915064035.1970175-2-namhyung@kernel.org> (raw)
In-Reply-To: <20260915064035.1970175-1-namhyung@kernel.org>
The die_has_flex_array() returns true when the given type is a compound
type and contains an array at the end. To prevent an infinite recursion
add a depth field to the internal function.
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Signed-off-by: Namhyung Kim <namhyung@kernel.org>
---
tools/perf/util/dwarf-aux.c | 97 +++++++++++++++++++++++++++++++++++++
tools/perf/util/dwarf-aux.h | 3 ++
2 files changed, 100 insertions(+)
diff --git a/tools/perf/util/dwarf-aux.c b/tools/perf/util/dwarf-aux.c
index d7160f87ac7d7ab3..a5aefe7d1d62d090 100644
--- a/tools/perf/util/dwarf-aux.c
+++ b/tools/perf/util/dwarf-aux.c
@@ -7,6 +7,7 @@
#include <inttypes.h>
#include <stdbool.h>
#include <stdlib.h>
+#include <string.h>
#include "debug.h"
#include "dwarf-aux.h"
#include "dwarf-regs.h"
@@ -2180,3 +2181,99 @@ Dwarf_Die *die_deref_ptr_type(Dwarf_Die *ptr_die, int offset,
return die_get_member_type(&type_die, offset, die_mem);
}
+
+static bool is_flex_array_member(Dwarf_Die *mb_die)
+{
+ Dwarf_Die type_die;
+ Dwarf_Word size;
+
+ /* get the type of the member */
+ if (die_get_real_type(mb_die, &type_die) == NULL)
+ return false;
+
+ if (dwarf_tag(&type_die) != DW_TAG_array_type)
+ return false;
+
+ return dwarf_aggregate_size(&type_die, &size) < 0 || size == 0;
+}
+
+#define MAX_FLEX_ARRAY_RECURSION 256 /* arbitrary */
+
+static bool die_has_flex_array_recurse(Dwarf_Die *parent_die, int depth)
+{
+ Dwarf_Die die_mem, last_mb;
+ int tag = dwarf_tag(parent_die);
+ bool found = false;
+ Dwarf_Word loc, last_loc = 0;
+
+ if (tag != DW_TAG_structure_type && tag != DW_TAG_union_type)
+ return false;
+
+ /* prevent infinite recursion */
+ if (depth > MAX_FLEX_ARRAY_RECURSION)
+ return false;
+
+ if (dwarf_child(parent_die, &die_mem))
+ return false;
+
+ do {
+ if (dwarf_tag(&die_mem) != DW_TAG_member)
+ continue;
+
+ if (tag == DW_TAG_union_type) {
+ if (is_flex_array_member(&die_mem))
+ return true;
+
+ if (die_get_real_type(&die_mem, &last_mb) &&
+ die_has_flex_array_recurse(&last_mb, depth + 1))
+ return true;
+ }
+
+ if (tag == DW_TAG_structure_type) {
+ if (die_get_data_member_location(&die_mem, &loc) < 0)
+ loc = 0;
+
+ if (!found || last_loc < loc) {
+ memcpy(&last_mb, &die_mem, sizeof(last_mb));
+ last_loc = loc;
+ }
+ }
+
+ found = true;
+ } while (dwarf_siblingof(&die_mem, &die_mem) == 0);
+
+ if (tag == DW_TAG_structure_type && found) {
+ if (is_flex_array_member(&last_mb))
+ return true;
+
+ if (die_get_real_type(&last_mb, &die_mem))
+ return die_has_flex_array_recurse(&die_mem, depth + 1);
+ }
+
+ return false;
+}
+
+/**
+ * die_has_flex_array - Check if the given type has a flex-array at the end
+ * @type_die: a pointer to type DIE
+ *
+ * This function returns %true iff @type_die is a struct type and has an
+ * array at the end. Note that the flex-array has no element, it should have
+ * no size and the parent size doesn't include the flex-array. So it should
+ * locate at the offset of the parent size.
+ *
+ * For simplicity, it assumes the parent size of aligned with the flex-array.
+ */
+bool die_has_flex_array(Dwarf_Die *type_die)
+{
+ Dwarf_Die real_type;
+
+ if (dwarf_tag(type_die) == DW_TAG_typedef) {
+ if (die_get_real_type(type_die, &real_type) == NULL)
+ return false;
+
+ type_die = &real_type;
+ }
+
+ return die_has_flex_array_recurse(type_die, 0);
+}
diff --git a/tools/perf/util/dwarf-aux.h b/tools/perf/util/dwarf-aux.h
index 161f0bf980b6ee6a..9b662db710220522 100644
--- a/tools/perf/util/dwarf-aux.h
+++ b/tools/perf/util/dwarf-aux.h
@@ -189,4 +189,7 @@ void die_collect_global_vars(Dwarf_Die *cu_die, struct die_var_type **var_types)
/* Get the frame base information from CFA */
int die_get_cfa(Dwarf *dwarf, u64 pc, int *preg, int *poffset);
+/* Check whether given type has a flex array */
+bool die_has_flex_array(Dwarf_Die *parent_die);
+
#endif /* _DWARF_AUX_H */
--
2.55.0.1082.g2b9226bbc0-goog
next prev parent reply other threads:[~2026-09-15 6:40 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-15 6:40 [PATCH v3 0/3] perf annotate-data: Support flexible array types Namhyung Kim
2026-09-15 6:40 ` Namhyung Kim [this message]
2026-09-15 6:50 ` [PATCH v3 1/3] perf dwarf-aux: Add die_has_flex_array() helper sashiko-bot
2026-09-16 5:49 ` Namhyung Kim
2026-09-16 13:54 ` Masami Hiramatsu
2026-09-15 6:40 ` [PATCH v3 2/3] perf annotate-date: Allow out-of-size access for flex-array types Namhyung Kim
2026-09-15 6:48 ` sashiko-bot
2026-09-15 6:40 ` [PATCH v3 3/3] perf annotate-data: Adjust type offset for flex-array Namhyung Kim
2026-09-15 6:53 ` sashiko-bot
2026-09-16 5:58 ` Namhyung Kim
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260915064035.1970175-2-namhyung@kernel.org \
--to=namhyung@kernel.org \
--cc=acme@kernel.org \
--cc=adrian.hunter@intel.com \
--cc=irogers@google.com \
--cc=james.clark@linaro.org \
--cc=jolsa@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-perf-users@vger.kernel.org \
--cc=mhiramat@kernel.org \
--cc=mingo@kernel.org \
--cc=peterz@infradead.org \
--cc=wutengda@huaweicloud.com \
--cc=xueshuai@linux.alibaba.com \
--cc=yzhao62@ncsu.edu \
--cc=zli94@ncsu.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.