File: region_store_overflow.c

package info (click to toggle)
flang 20181226-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 181,072 kB
  • sloc: cpp: 1,182,685; ansic: 598,652; objc: 103,775; f90: 57,054; python: 15,041; fortran: 13,601; lisp: 10,416; perl: 2,460; asm: 2,148; sh: 1,544; awk: 995; cs: 565; xml: 403; lex: 295; makefile: 225; pascal: 130
file content (16 lines) | stat: -rw-r--r-- 381 bytes parent folder | download | duplicates (20) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s

int **h;
int overflow_in_memregion(long j) {
  for (int l = 0;; ++l) {
    if (j - l > 0)
      return h[j - l][0]; // no-crash
  }
  return 0;
}

void rdar39593879(long long *d) {
  long e, f;
  e = f = d[1]; // no-crash
  for (; d[e];) f-- > 0; // expected-warning{{relational comparison result unused}}; 
}