// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-display-progress %s 2>&1 | FileCheck %s

// Test that inheriting constructors are not analyzed as top-level functions.

// CHECK: ANALYZE (Path,  Inline_Regular): {{.*}} c()
// CHECK: ANALYZE (Path,  Inline_Regular): {{.*}} a::a(int)
// CHECK-NOT: ANALYZE (Path,  Inline_Regular): {{.*}} b::a(int)

class a {
public:
  a(int) {}
};
struct b : a {
  using a::a; // Ihnerited ctor.
};
void c() {
  int d;
  (b(d));
  (a(d));
}