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