> One more note, we see the same kind of conditional and test > simplification with for cxa4028 in Ada.Strings.Superbounded.Super_Trim. > So I'm pretty confident that if we fix the bogus trees generated for > a-stwifi.adb that all three of these regressions will be fixed.
Confirmed. -- Eric Botcazou