Lines Matching refs:good_int
604 if (!opts.good_int && opts.opt != 'd') {1609 if (!opts.good_int) {1932 if (!opts.good_int) {1941 } else if (opts.good_int) {
