YJN/selfpatch-slr
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updated writeup

Browse Source
This commit is contained in:
York Jasper Niebuhr 2025-10-17 17:31:25 +02:00
parent b3635a091e
commit 81ba4bc112
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/writeup.txt
View File

@ -19,3 +19,9 @@ Constant foldable expressions, e.g. "size_t myOffset = ((size_t)&((struct task_s
-> any recoverability of COMPONENT_REF is impossible -> any recoverability of COMPONENT_REF is impossible
-> requires gcc patch (fairly small one though) -> requires gcc patch (fairly small one though)
-> fold_offsetof in the C frontend is responsible -> 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