reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    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

// RUN: %clang_cc1 -fsyntax-only -Wextra -std=c++2a -verify %s
// RUN: %clang_cc1 -fsyntax-only -Wextra-semi-stmt -std=c++2a -verify %s
// RUN: %clang_cc1 -fsyntax-only -Wempty-init-stmt -std=c++2a -verify %s
// RUN: cp %s %t
// RUN: %clang_cc1 -x c++ -Wempty-init-stmt -std=c++2a -fixit %t
// RUN: %clang_cc1 -x c++ -Wempty-init-stmt -std=c++2a -Werror %t

struct S {
  int *begin();
  int *end();
};

void naive(int x) {
  if (; true) // expected-warning {{empty initialization statement of 'if' has no effect}}
    ;

  switch (; x) { // expected-warning {{empty initialization statement of 'switch' has no effect}}
  }

  for (; int y : S()) // expected-warning {{empty initialization statement of 'range-based for' has no effect}}
    ;

  for (;;) // OK
    ;
}

#define NULLMACRO

void with_null_macro(int x) {
  if (NULLMACRO; true)
    ;

  switch (NULLMACRO; x) {
  }

  for (NULLMACRO; int y : S())
    ;
}

#define SEMIMACRO ;

void with_semi_macro(int x) {
  if (SEMIMACRO true)
    ;

  switch (SEMIMACRO x) {
  }

  for (SEMIMACRO int y : S())
    ;
}

#define PASSTHROUGHMACRO(x) x

void with_passthrough_macro(int x) {
  if (PASSTHROUGHMACRO(;) true)
    ;

  switch (PASSTHROUGHMACRO(;) x) {
  }

  for (PASSTHROUGHMACRO(;) int y : S())
    ;
}