Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 9618b858e2b4f79aa2b8b0291e9c833cee0435f8 / . / test / Analysis / no-outofbounds.c
blob: 771323b811143f226bf5b7356694ac19a543d3ab [file] [log] [blame]
Ted Kremenek565e4652010-02-05 02:06:54 +0000[diff] [blame]1// RUN: %clang_cc1 -analyzer-check-objc-mem -analyze -analyzer-experimental-internal-checks -analyzer-store=basic -verify %s
2// RUN: %clang_cc1 -analyzer-check-objc-mem -analyze -analyzer-experimental-internal-checks -analyzer-store=region -verify %s
Ted Kremenek2f089912009-07-10 21:48:10 +0000[diff] [blame]3
4//===----------------------------------------------------------------------===//
5// This file tests cases where we should not flag out-of-bounds warnings.
6//===----------------------------------------------------------------------===//
Ted Kremenek0b9ad892009-05-04 14:31:19 +0000[diff] [blame]7
Ted Kremenek20bd7462009-05-04 07:04:36 +0000[diff] [blame]8void f() {
9 long x = 0;
10 char *y = (char*) &x;
11 char c = y[0] + y[1] + y[2]; // no-warning
Zhongxing Xu9618b852010-04-01 08:20:27 +0000[diff] [blame^]12 short *z = (short*) &x;
13 short s = z[0] + z[1]; // no-warning
Ted Kremenek20bd7462009-05-04 07:04:36 +0000[diff] [blame]14}