From 81ba4bc1124bdd06be837743721eb92d605b1bff Mon Sep 17 00:00:00 2001 From: York Jasper Niebuhr Date: Fri, 17 Oct 2025 17:31:25 +0200 Subject: [PATCH] Updated writeup --- docs/writeup.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/writeup.txt b/docs/writeup.txt index 4f1b8bf..f9ceeb6 100644 --- a/docs/writeup.txt +++ b/docs/writeup.txt @@ -19,3 +19,9 @@ Constant foldable expressions, e.g. "size_t myOffset = ((size_t)&((struct task_s -> any recoverability of COMPONENT_REF is impossible -> requires gcc patch (fairly small one though) -> fold_offsetof in the C frontend is responsible + -> can not universally be disabled (loss of const-ness, static assertions fail) + -> would be okay for randomized structs (semantically not constant at compile time any more) + -> PROBLEM for structs that are NOT targets! + -> static assertions happen before plugin could restore const-ness + -> plugin callback in build_component_ref (0 miss rate) + -> must be type compatible for fold_offsetof