* check that destination and source operand are in defined state. */
| 636 | * check that destination and source operand are in defined state. |
| 637 | */ |
| 638 | static const char * |
| 639 | eval_defined(const struct bpf_reg_val *dst, const struct bpf_reg_val *src) |
| 640 | { |
| 641 | if (dst != NULL && dst->v.type == RTE_BPF_ARG_UNDEF) |
| 642 | return "dest reg value is undefined"; |
| 643 | if (src != NULL && src->v.type == RTE_BPF_ARG_UNDEF) |
| 644 | return "src reg value is undefined"; |
| 645 | return NULL; |
| 646 | } |
| 647 | |
| 648 | static const char * |
| 649 | eval_alu(struct bpf_verifier *bvf, const struct ebpf_insn *ins) |
no outgoing calls
no test coverage detected