| Tom Care | ef52bcb | 2010-08-24 21:09:07 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-constraints=range -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -analyzer-check-idempotent-operations -verify %s |
| 2 | |
| 3 | // C++ specific false positives |
| 4 | |
| 5 | extern void test(int i); |
| 6 | extern void test_ref(int &i); |
| 7 | |
| 8 | // Test references affecting pseudoconstants |
| 9 | void false1() { |
| 10 | int a = 0; |
| 11 | int five = 5; |
| 12 | int &b = a; |
| 13 | test(five * a); // expected-warning {{The right operand to '*' is always 0}} |
| 14 | b = 4; |
| 15 | } |