Am 09.12.19 um 17:30 schrieb Thomas Koenig: > Maybe -finline-repack would be a better name? -finline-internal-pack? Steve made an excellent suggestion: -finline-arg-packing . So, OK with that change? Regards Thomas