kernel/bpf/verifier.c

2777 	 * conservative and wait until the code elimination pass before returning
3776 			 * catch this error later. Make backtracking conservative
3915  * For now backtracking falls back into conservative marking.
4583 		 * conservative, since it will add reg_live_read marks
5017 		/* Variable offset stack reads need more conservative handling
5051 		/* Variable offset stack reads need more conservative handling
8023  * This is a conservative heuristic that allows to verify wide range of programs,
9913 		 * but let's be conservative
16986  * Therefore two states are equivalent if register state is more conservative
16987  * and explored stack state is more conservative than the current one.
21075 	bool conservative = true;
21125 		conservative = aux->func_info_aux[subprog].unreliable;
21127 			if (conservative) {
21256 		if (tgt_prog && conservative)