clang/test/Profile/misexpect-switch-nonconst.c

   1 // Test that misexpect emits no warning when switch condition is non-const
   2
   3 // RUN: llvm-profdata merge %S/Inputs/misexpect-switch-nonconst.proftext -o %t.profdata
   4 // RUN: %clang_cc1 %s -O2 -o - -disable-llvm-passes -emit-llvm -fprofile-instrument-use-path=%t.profdata -verify
   5
   6 // expected-no-diagnostics
   7
   8 #define inner_loop 1000
   9 #define outer_loop 20
  10 #define arry_size 25
  11
  12 int sum(int *buff, int size);
  13 int random_sample(int *buff, int size);
  14 int rand();
  15 void init_arry();
  16
  17 int arry[arry_size] = {0};
  18
  19 int main() {
  20   init_arry();
  21   int val = 0;
  22
  23   int j, k;
  24   for (j = 0; j < outer_loop; ++j) {
  25     for (k = 0; k < inner_loop; ++k) {
  26       unsigned condition = rand() % 10000;
  27       switch (__builtin_expect(condition, rand())) {
  28       case 0:
  29         val += sum(arry, arry_size);
  30         break;
  31       case 1:
  32       case 2:
  33       case 3:
  34       case 4:
  35         val += random_sample(arry, arry_size);
  36         break;
  37       default:
  38         __builtin_unreachable();
  39       } // end switch
  40     }   // end inner_loop
  41   }     // end outer_loop
  42
  43   return 0;
  44 }