16 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s2// expected-no-diagnostics3 4// Test parameter 'a' is registered to LiveVariables analysis data although it5// is not referenced in the function body. 6// Before processing 'return 1;', in RemoveDeadBindings(), we query the liveness7// of 'a', because we have a binding for it due to parameter passing.8int f1(int a) {9 return 1;10}11 12void f2(void) {13 int x;14 x = f1(1);15}16