improve gcc verification tests