| Adam Balogh | 3bd63ae | 2019-02-13 12:25:47 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core,alpha.core.CallAndMessageUnInitRefArg %s -verify |
| 2 | |||||
| 3 | void f(const int *end); | ||||
| 4 | |||||
| 5 | void g(const int (&arrr)[10]) { | ||||
| Adam Balogh | 5572578 | 2019-02-15 12:33:42 +0000 | [diff] [blame] | 6 | f(arrr); // expected-warning{{1st function call argument is a pointer to uninitialized value}} |
| Adam Balogh | 3bd63ae | 2019-02-13 12:25:47 +0000 | [diff] [blame] | 7 | } |
| 8 | |||||
| 9 | void h() { | ||||
| 10 | int arr[10]; | ||||
| 11 | |||||
| 12 | g(arr); | ||||
| 13 | } | ||||