1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s 2*f4a2713aSLionel Sambuc // expected-no-diagnostics 3*f4a2713aSLionel Sambuc 4*f4a2713aSLionel Sambuc // Test parameter 'a' is registered to LiveVariables analysis data although it 5*f4a2713aSLionel Sambuc // is not referenced in the function body. 6*f4a2713aSLionel Sambuc // Before processing 'return 1;', in RemoveDeadBindings(), we query the liveness 7*f4a2713aSLionel Sambuc // of 'a', because we have a binding for it due to parameter passing. f1(int a)8*f4a2713aSLionel Sambucint f1(int a) { 9*f4a2713aSLionel Sambuc return 1; 10*f4a2713aSLionel Sambuc } 11*f4a2713aSLionel Sambuc f2()12*f4a2713aSLionel Sambucvoid f2() { 13*f4a2713aSLionel Sambuc int x; 14*f4a2713aSLionel Sambuc x = f1(1); 15*f4a2713aSLionel Sambuc } 16