See testcase, it's a GNU extension, but widely accepted (the linux kernel uses it). This got broken with 72b520e709.
72b520e709
Last fix didn't work for function f1int in the added testcase.