Sign in
fuchsia
/
third_party
/
llvm-project
/
refs/tags/llvmorg-3.2.0-rc3
/
.
/
clang
/
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
);
}