Lines Matching full:lint
1408 /*lint -e{702} shift for performance */
1417 /*lint -e{702} shift for performance */
1516 /*lint -e{702} shift for performance */
1520 /*lint -e{702} shift for performance */
1590 /*lint -e{702} shift for performance */
1708 /*lint -e{702} use shift for performance */
1781 /*lint -e{685} lint complains that it can't saturate negative */
1960 /*lint -e{702} shift for performance */
1973 /*lint -e{702} shift for performance */
1981 /*lint -e{702} shift for performance */
1991 /*lint -e{702} shift for performance */
