xlint/lint1/func.c

52 /* Is set as long as a statement can be reached. Must be set at level 0. */
53 int	reached = 1;
57  * Is reset everywhere where reached can become 0.
62  * In conjunction with reached controls printing of "fallthrough on ..."
186  * Prints a warning if a statement cannot be reached.
191 	if (!reached && !rchflg) {
192 		/* statement not reached */
194 		reached = 1;
334 	reached = 1;
346 	if (reached) {
396 	reached = 1;
451 			if (reached && !ftflg) {
512 			if (reached && !ftflg) {
521 	reached = 1;
547 	cstk->c_rchif = reached ? 1 : 0;
548 	reached = 1;
560 		reached |= cstk->c_rchif;
562 		reached = 1;
615 	reached = rchflg = 0;
655 		 * end of switch alway reached (c_break is only set if the
656 		 * break statement can be reached).
658 		reached = 1;
665 		reached = 1;
667 		 * otherwise the end of the switch expression is reached
668 		 * if the end of the last statement inside it is reached.
681 	if (!reached) {
684 		reached = 1;
719 	 * The end of the loop can be reached if it is no endless loop
720 	 * or there was a break statement which was reached.
722 	reached = !cstk->c_infinite || cstk->c_break;
735 	if (!reached) {
738 		reached = 1;
755 	 * loop is reached.
758 		reached = 1;
781 	 * The end of the loop is only reached if it is no endless loop
782 	 * or there was a break statement which could be reached.
784 	reached = !cstk->c_infinite || cstk->c_break;
801 	if (tn1 != NULL && !reached) {
804 		reached = 1;
847 	reached = 1;
861 		reached = 1;
872 	/* simply "statement not reached" would be confusing */
873 	if (!reached && !rchflg) {
874 		/* end-of-loop code not reached */
876 		reached = 1;
889 	reached = cstk->c_break || !cstk->c_infinite;
907 	reached = rchflg = 0;
926 		if (reached)
933 	reached = rchflg = 0;
956 	reached = rchflg = 0;
1025 	reached = rchflg = 0;
1206  * Stop warnings about statements which cannot be reached. Also tells lint
1207  * that the following statements cannot be reached (e.g. after exit()).
1214 	reached = 0;