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