File: unreachable.h

package info (click to toggle)
graphviz 14.0.5-2
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 139,388 kB
  • sloc: ansic: 141,938; cpp: 11,957; python: 7,766; makefile: 4,043; yacc: 3,030; xml: 2,972; tcl: 2,495; sh: 1,388; objc: 1,159; java: 560; lex: 423; perl: 243; awk: 156; pascal: 139; php: 58; ruby: 49; cs: 31; sed: 1
file content (35 lines) | stat: -rw-r--r-- 1,010 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
 
/// @file
/// @ingroup cgraph_utils
#pragma once

#include <assert.h>
#include <stdio.h>
#include <stdlib.h>

/** Marker for a point in code which execution can never reach.
 *
 * As a C11 function, this could be thought of as:
 *
 *   _Noreturn void UNREACHABLE(void);
 *
 * This can be used to explain that a switch is exhaustive:
 *
 *   switch (…) {
 *   default: UNREACHABLE();
 *   …remaining cases that cover all possibilities…
 *   }
 *
 * or that a function coda can be omitted:
 *
 *   int foo(void) {
 *     while (always_true()) {
 *     }
 *     UNREACHABLE();
 *   }
 */
#define UNREACHABLE()                                                          \
  do {                                                                         \
    fprintf(stderr, "%s:%d: claimed unreachable code was reached\n", __FILE__, \
            __LINE__);                                                         \
    abort();                                                                   \
  } while (0)