| 1807 | } |
| 1808 | |
| 1809 | static void |
| 1810 | set_node_colour(struct bpf_verifier *bvf, struct inst_node *node, |
| 1811 | uint32_t new) |
| 1812 | { |
| 1813 | uint32_t prev; |
| 1814 | |
| 1815 | prev = node->colour; |
| 1816 | node->colour = new; |
| 1817 | |
| 1818 | bvf->node_colour[prev]--; |
| 1819 | bvf->node_colour[new]++; |
| 1820 | } |
| 1821 | |
| 1822 | /* |
| 1823 | * helper function, add new edge between two nodes. |