Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 13:04:24 |
| Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
| home page | Tree |
| Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:opt_hard_wire_dead_code_branches
Proto:static void opt_hard_wire_dead_code_branches(struct bpf_verifier_env *env)
Type:void
Parameter:
| Type | Parameter | Name |
|---|---|---|
| struct bpf_verifier_env * | env |
| 8594 | aux_data = array of per-insn state |
| 8595 | ja = Conditional jumps against immediates, if (dst_reg 'op' imm32) goto pc + off16 (BPF_JA, 0, 0, 0) |
| 8597 | insn_cnt = Number of filter blocks |
| 8601 | If Not insn_is_cond_jump( opcode ) Then Continue |
| 8604 | If Not this insn was processed by the verifier Then signed offset = signed offset |
| 8606 | Else if Not this insn was processed by the verifier Then signed offset = 0 |
| 8608 | Else Continue |
| 8611 | If bpf_prog_is_dev_bound( Auxiliary fields ) Then bpf_prog_offload_replace_insn(env, i, & ja) |
| 8614 | No 3D Now!(insn, & ja, size of ja ) |
| Name | Describe |
|---|---|
| bpf_check |
| Source code conversion tool public plug-in interface | X |
|---|---|
| Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion |