mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-17 05:36:41 +00:00
50 lines
2.6 KiB
C
50 lines
2.6 KiB
C
// RUN: %clang_analyze_cc1 -analyzer-checker=security.PointerSub -analyzer-output=text -verify %s
|
|
|
|
void different_1() {
|
|
int a[3]; // expected-note{{Array at the left-hand side of subtraction}}
|
|
int b[3]; // expected-note{{Array at the right-hand side of subtraction}}
|
|
int d = &a[2] - &b[0]; // expected-warning{{Subtraction of two pointers that do not point into the same array is undefined behavior}} \
|
|
// expected-note{{Subtraction of two pointers that do not point into the same array is undefined behavior}}
|
|
}
|
|
|
|
void different_2() {
|
|
int a[3]; // expected-note{{Array at the right-hand side of subtraction}}
|
|
int b[3]; // expected-note{{Array at the left-hand side of subtraction}}
|
|
int *p1 = a + 1;
|
|
int *p2 = b;
|
|
int d = p2 - p1; // expected-warning{{Subtraction of two pointers that do not point into the same array is undefined behavior}} \
|
|
// expected-note{{Subtraction of two pointers that do not point into the same array is undefined behavior}}
|
|
}
|
|
|
|
int different_3() {
|
|
struct {
|
|
int array[5];
|
|
} a, b;
|
|
return &a.array[3] - &b.array[2]; // expected-warning{{Subtraction of two pointers that do not point into the same array is undefined behavior}} \
|
|
// expected-note{{Subtraction of two pointers that do not point into the same array is undefined behavior}}
|
|
}
|
|
|
|
int different_4() {
|
|
struct {
|
|
int array1[5]; // expected-note{{Array at the left-hand side of subtraction}}
|
|
int array2[5]; // expected-note{{Array at the right-hand side of subtraction}}
|
|
} a;
|
|
return &a.array1[3] - &a.array2[4]; // expected-warning{{Subtraction of two pointers that do not point into the same array is undefined behavior}} \
|
|
// expected-note{{Subtraction of two pointers that do not point into the same array is undefined behavior}}
|
|
}
|
|
|
|
void different_5() {
|
|
int d;
|
|
static int x[10][10]; // expected-note2{{Array at the left-hand side of subtraction}}
|
|
int *y1 = &(x[3][5]);
|
|
char *z = ((char *) y1) + 2;
|
|
int *y2 = (int *)(z - 2);
|
|
int *y3 = ((int *)x) + 35; // This is offset for [3][5].
|
|
|
|
d = y2 - y1; // expected-warning{{Subtraction of two pointers that do not point into the same array is undefined behavior}} \
|
|
// expected-note{{Subtraction of two pointers that do not point into the same array is undefined behavior}}
|
|
d = y3 - y1; // expected-warning{{Subtraction of two pointers that do not point into the same array is undefined behavior}} \
|
|
// expected-note{{Subtraction of two pointers that do not point into the same array is undefined behavior}}
|
|
d = y3 - y2;
|
|
}
|