On Mon, Oct 19, 2026 at 02:17:47PM +0200, Richard Biener wrote: > ## 3. Recommended Structural Solutions > > Rather than maintaining deferred state across five intermediate IPA passes, > PR ipa/105438 should be solved through one of the following architectural > approaches: > > ### Approach A: Differentiate Incompatible Layouts at ICF Time > If inlining a merged function will cause invalid memory references, > diagnostic warnings, or TBAA violations due to mismatched pointer types or > array bounds, ICF's equivalence checks (`func_checker::compatible_types_p` > and `func_checker::compare_operand`) should not declare the functions > identical when: > - Parameter types differ in array bounds or struct sizes. > - Memory access offsets or base types are not strictly identical across types.
Heh. I think this is describing the original patch I sent that started this thread? :P -Kees -- Kees Cook
