1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s 2 3 // Testing core functionality of the SValBuilder. 4 SValBuilderLogicNoCrash(int * x)5 int SValBuilderLogicNoCrash(int *x) { 6 return 3 - (int)(x +3); 7 } 8