Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
b75009c53084f97a8e295164c07d1007e66ccefa
/
.
/
test
/
Analysis
/
div-zero.cpp
blob: d1261dc57335ed5784d625032538973c10a2fa53 [
file
] [
log
] [
blame
]
// RUN: %clang_cc1 -analyze -analyzer-checker=core.DivideZero -verify %s
int
fooPR10616
(
int
qX
)
{
int
a
,
c
,
d
;
d
=
(
qX
-
1
);
while
(
d
!=
0
)
{
d
=
c
-
(
c
/
d
)
*
d
;
}
return
(
a
%
(
qX
-
1
));
// expected-warning {{Division by zero}}
}