Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
27ef16b326b9a9dd2440e5d1cc884e27f07e13a3
/
.
/
test
/
Analysis
/
svalbuilder-logic.c
blob: bc79f859053c0cb12290f1102d11d76179e16267 [
file
] [
log
] [
blame
]
// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s
// Testing core functionality of the SValBuilder.
int
SValBuilderLogicNoCrash
(
int
*
x
)
{
return
3
-
(
int
)(
x
+
3
);
}