Document unreachability

alexcrichton · alexcrichton · commit cdcd771dfdb2 · 2026-02-20T12:11:49.000-08:00
diff --git a/libc-bottom-half/sources/tcp_sockopt.c b/libc-bottom-half/sources/tcp_sockopt.c
@@ -413,6 +413,9 @@ int __wasilibc_tcp_setsockopt(void *data, int level, int optname,
     errno = ENOPROTOOPT;
     return -1;
   }
+
+  // should not be reachable, all cases above should return
+  abort();
 }
 
 #endif // not(__wasip1__)

Original file line number	Diff line number	Diff line change
`@@ -413,6 +413,9 @@ int __wasilibc_tcp_setsockopt(void *data, int level, int optname,`
`413`	`413`	`errno = ENOPROTOOPT;`
`414`	`414`	`return -1;`
`415`	`415`	`}`
	`416`	`+`
	`417`	`+ // should not be reachable, all cases above should return`
	`418`	`+ abort();`
`416`	`419`	`}`
`417`	`420`
`418`	`421`	`#endif // not(__wasip1__)`