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