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