1ee04959f88e26ed38dccf4aed2ff10cad1f703c9Jordan Rose// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s 215f6b42b68d296cabf117752094693afe813dffbZhongxing Xu 315f6b42b68d296cabf117752094693afe813dffbZhongxing Xu// Test parameter 'a' is registered to LiveVariables analysis data although it 415f6b42b68d296cabf117752094693afe813dffbZhongxing Xu// is not referenced in the function body. 597ccfa599c0479a4ea9b4df9291c564d5afd80e3Zhongxing Xu// Before processing 'return 1;', in RemoveDeadBindings(), we query the liveness 697ccfa599c0479a4ea9b4df9291c564d5afd80e3Zhongxing Xu// of 'a', because we have a binding for it due to parameter passing. 715f6b42b68d296cabf117752094693afe813dffbZhongxing Xuint f1(int a) { 815f6b42b68d296cabf117752094693afe813dffbZhongxing Xu return 1; 915f6b42b68d296cabf117752094693afe813dffbZhongxing Xu} 1015f6b42b68d296cabf117752094693afe813dffbZhongxing Xu 1115f6b42b68d296cabf117752094693afe813dffbZhongxing Xuvoid f2() { 1215f6b42b68d296cabf117752094693afe813dffbZhongxing Xu int x; 1315f6b42b68d296cabf117752094693afe813dffbZhongxing Xu x = f1(1); 1415f6b42b68d296cabf117752094693afe813dffbZhongxing Xu} 15