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