* helper function, used to walk through constructed CFG. */
| 1792 | * helper function, used to walk through constructed CFG. |
| 1793 | */ |
| 1794 | static struct inst_node * |
| 1795 | get_next_node(struct bpf_verifier *bvf, struct inst_node *node) |
| 1796 | { |
| 1797 | uint32_t ce, ne, dst; |
| 1798 | |
| 1799 | ne = node->nb_edge; |
| 1800 | ce = node->cur_edge; |
| 1801 | if (ce == ne) |
| 1802 | return NULL; |
| 1803 | |
| 1804 | node->cur_edge++; |
| 1805 | dst = node->edge_dest[ce]; |
| 1806 | return bvf->in + dst; |
| 1807 | } |
| 1808 | |
| 1809 | static void |
| 1810 | set_node_colour(struct bpf_verifier *bvf, struct inst_node *node, |