defensive.c

#include <stdlib.h>
enum E { A, B };

int foo(enum E x) {
  switch (x) {
  case A:
    return 42;
  case B:
    return 23;
  }
  abort();
// defensive.c:11:3: warning: will never be executed [-Wunreachable-code]
}