File: warn-unreachable.m

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (84 lines) | stat: -rw-r--r-- 1,990 bytes parent folder | download | duplicates (13)
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
// RUN: %clang %s -fsyntax-only -Xclang -verify -fblocks -Wunreachable-code-aggressive -Wno-unused-value -Wno-covered-switch-default

// This previously triggered a warning from -Wunreachable-code because of
// a busted CFG.
typedef signed char BOOL;
BOOL radar10989084(void) {
  @autoreleasepool {  // no-warning
    return __objc_yes;
  }
}

// Test the warning works.
void test_unreachable(void) {
  return;
  return; // expected-warning {{will never be executed}}
}

#define NO __objc_no
#define YES __objc_yes
#define CONFIG NO

// Test that 'NO' and 'YES' are not treated as configuration macros.
int test_NO(void) {
  if (NO)
    return 1; // expected-warning {{will never be executed}}
  else
    return 0;
}

int test_YES(void) {
  if (YES)
    return 1;
  else
    return 0; // expected-warning {{will never be executed}}
}

int test_CONFIG(void) {
  if (CONFIG)
    return 1;
  else
    return 0;
}

// FIXME: This should at some point report a warning
// that the loop increment is unreachable.
void test_loop_increment(id container) {
  for (id x in container) { // no-warning
    break;
  }
}

void calledFun(void) {}

// Test "silencing" with parentheses.
void test_with_paren_silencing(int x) {
  if (NO) calledFun(); // expected-warning {{will never be executed}} expected-note {{silence by adding parentheses to mark code as explicitly dead}}
  if ((NO)) calledFun(); // no-warning

  if (YES) // expected-note {{silence by adding parentheses to mark code as explicitly dead}}
    calledFun();
  else
    calledFun(); // expected-warning {{will never be executed}}

  if ((YES))
    calledFun();
  else
    calledFun(); // no-warning
  
  if (!YES) // expected-note {{silence by adding parentheses to mark code as explicitly dead}}
    calledFun(); // expected-warning {{code will never be executed}}
  else
    calledFun();
  
  if ((!YES))
    calledFun(); // no-warning
  else
    calledFun();
  
  if (!(YES))
    calledFun(); // no-warning
  else
    calledFun();
}