[Bug debug/31872] Duplicate file numbers for .file directive with -g3 -O0

[alexey at feldgendler dot ru]

------- Comment #2 from alexey at feldgendler dot ru  2009-07-13 11:40 -------
Happens also on x86_64-linux-gnu.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31872