Browsing: GCC: Permit mandatory for temporary flagpoles