| 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]) { |
| 6 | f(arrr+sizeof(arrr)); // expected-warning{{1st function call argument is a pointer to uninitialized value}} |
| 7 | // FIXME: This is a false positive that should be fixed. Until then this |
| 8 | // tests the crash fix in FindLastStoreBRVisitor (beside |
| 9 | // uninit-vals.m). |
| 10 | } |
| 11 | |
| 12 | void h() { |
| 13 | int arr[10]; |
| 14 | |
| 15 | g(arr); |
| 16 | } |