From afd307fef884979fa62886653cf72c0cc9f97058 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20D=C3=B6ring?= Date: Thu, 28 Nov 2024 16:04:17 +0100 Subject: [PATCH] Poke comment --- src/record_ts.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/record_ts.h b/src/record_ts.h index cb8885b2..68583230 100644 --- a/src/record_ts.h +++ b/src/record_ts.h @@ -517,6 +517,10 @@ struct RecordThreadState : ThreadState { uint32_t size, void *out) override; /// Asynchronously update a single element in memory + /// Recording of this function is currently not supported, and the function + /// will throw an error. At the time of writing, \c poke is only called from + /// \c jit_var_write. \c src will therefore not be a pointer, allocated with + /// \c jitc_malloc, and we cannot track it. void poke(void *dst, const void *src, uint32_t size) override; void aggregate(void *dst, AggregationEntry *agg, uint32_t size) override;