| Anna Zaks | 2a6e30d | 2012-05-02 00:05:23 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s |
| Andy Gibbs | 8e8fb3b | 2012-10-19 12:44:48 +0000 | [diff] [blame^] | 2 | // expected-no-diagnostics |
| Anna Zaks | 2a6e30d | 2012-05-02 00:05:23 +0000 | [diff] [blame] | 3 | |
| 4 | // Testing core functionality of the SValBuilder. | ||||
| 5 | |||||
| 6 | int SValBuilderLogicNoCrash(int *x) { | ||||
| 7 | return 3 - (int)(x +3); | ||||
| 8 | } | ||||