116 		verbose(env, "jump out of range from insn %d to %d\n", t, w);  in push_insn()
118 			env, t, "jump out of range", "Keep branch targets inside the program.",  in push_insn()
288  * combined jump table in jt->items (allocated with kvcalloc)
300 		 * TODO (when needed): collect only jump tables, not static keys  in jt_from_subprog()
329 		verbose(env, "no jump tables found for subprog starting at %u\n", subprog_start);  in jt_from_subprog()
331 			env, subprog_start, "missing jump table",  in jt_from_subprog()
332 …"Make sure subprograms containing gotox instructions are accompanied by jump tables referencing th…  in jt_from_subprog()
333 			"No jump table was found for the subprogram that starts at instruction %u.",  in jt_from_subprog()
357 	/* Check that the every element of the jump table fits within the given subprogram */  in create_jt()
360 			verbose(env, "jump table for insn %d points outside of the subprog [%u,%u]\n",  in create_jt()
363 				env, t, "jump table target out of range",  in create_jt()
364 				"Keep every jump-table target inside the same subprogram.",  in create_jt()
365 				"The jump table for instruction %d points outside subprogram range [%u,%u).",  in create_jt()
375 /* "conditional jump with N edges" */
397 			verbose(env, "indirect jump out of range from insn %d to %d\n", t, w);  in visit_gotox_insn()
399 				env, t, "indirect jump out of range",  in visit_gotox_insn()
400 				"Keep indirect jump targets inside the program.",  in visit_gotox_insn()
401 …"Instruction %d can jump indirectly to instruction %d, but the program only contains instructions …  in visit_gotox_insn()
531 				 * instructions and jumps, leading to exhaustion of jump  in visit_insn()
562 		/* unconditional jump with single edge */  in visit_insn()
574 		/* conditional jump with two edges */  in visit_insn()
664 				verbose(env, "jump into the middle of ldimm64 insn %d\n", i);  in bpf_check_cfg()
666 					env, i, "jump into ldimm64 immediate",  in bpf_check_cfg()
667 					"Target the first instruction of the ldimm64 pair, or restructure the jump target.",  in bpf_check_cfg()