inline2.c revision 15f6b42b68d296cabf117752094693afe813dffb 
1// RUN: %clang_cc1 -analyze -inline-call -analyzer-store region -analyze-function f2 -verify %s
2
3// Test parameter 'a' is registered to LiveVariables analysis data although it
4// is not referenced in the function body.
5int f1(int a) {
6  return 1;
7}
8
9void f2() {
10  int x;
11  x = f1(1);
12}
13