http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60431 --- Comment #4 from Wojciech Migda <wojtek.golf at interia dot pl> --- Ok, my bad. I'll work on the testcases so that I can make gcc emit abs when it is valid. Should this PR be rejected then?