Anna Zaks | 6625335 | 2012-03-08 23:16:35 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-store region -verify %s |
Zhongxing Xu | 15f6b42 | 2010-03-02 10:08:30 +0000 | [diff] [blame] | 2 | |
| 3 | // Test parameter 'a' is registered to LiveVariables analysis data although it |
| 4 | // is not referenced in the function body. |
Zhongxing Xu | 97ccfa5 | 2010-03-03 01:02:48 +0000 | [diff] [blame] | 5 | // Before processing 'return 1;', in RemoveDeadBindings(), we query the liveness |
| 6 | // of 'a', because we have a binding for it due to parameter passing. |
Zhongxing Xu | 15f6b42 | 2010-03-02 10:08:30 +0000 | [diff] [blame] | 7 | int f1(int a) { |
| 8 | return 1; |
| 9 | } |
| 10 | |
| 11 | void f2() { |
| 12 | int x; |
| 13 | x = f1(1); |
| 14 | } |