cocci/unreachable.spatch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

@@
@@

-   INSIST(0);
+   UNREACHABLE();
    ... when != UNREACHABLE();

@@
@@

-   INSIST(0);
-   ISC_UNREACHABLE();
+   UNREACHABLE();

@@
@@

- UNREACHABLE();
  UNREACHABLE();