-Wdouble-promotion
-Wtrampolines