[patch] bug 15109 - Support -Wdouble-promotion

I recently wanted this feature for a project I'm working on, so I thought I should send the patch upstream. Let me know if there's something I should tweak or change - I'm no expert at this stuff.

-- Carl

double-promotion.patch (2.52 KB)

Whoops! Better-cleaned-up patch attached.

-- Carl

double-promotion.patch (2.42 KB)

Hi Carl, please send patches to cfe-commits or use Phabricator.

Thanks - realized it was the wrong list after I sent. I'll send over there shortly once I write some test cases.

-- Carl