safecode/tools/clang/test/Analysis/PR9741.cpp

// RUN: %clang_cc1 -cc1 -std=c++11 -Wuninitialized -verify %s

void f() {
  int a[] = { 1, 2, 3 };
  unsigned int u = 0;
  for (auto x : a)
    ;
}