2e7b95e4c0
The commit adds serialization and de-serialization implementations for the stored regions. Basically, the serialized representation of the regions of a PP is a (ordered) sequence of source location encodings. For de-serialization, regions from loaded files are stored by their ASTs. When later one queries if a loaded location L is in an opt-out region, PP looks up the regions of the loaded AST where L is at. (Background if helps: a pair of `#pragma clang unsafe_buffer_usage begin/end` pragmas marks a warning-opt-out region. The begin and end locations (opt-out regions) are stored in preprocessor instances (PP) and will be queried by the `-Wunsafe-buffer-usage` analyzer.) The reported issue at upstream: https://github.com/llvm/llvm-project/issues/90501 rdar://124035402
64 lines
2.0 KiB
C++
64 lines
2.0 KiB
C++
// Test PCHs:
|
|
// MAIN - includes textual_1.h
|
|
// \ loads pch_1.h - includes textual_2.h
|
|
// \ loads pch_2.h
|
|
|
|
// RUN: rm -rf %t
|
|
// RUN: mkdir -p %t
|
|
// RUN: split-file %s %t
|
|
|
|
// RUN: %clang_cc1 -Wno-unused-value -std=c++20 -emit-pch -o %t/pch_2.h.pch %t/pch_2.h -x c++
|
|
// RUN: %clang_cc1 -Wno-unused-value -std=c++20 -include-pch %t/pch_2.h.pch -emit-pch -o %t/pch_1.h.pch %t/pch_1.h -x c++
|
|
// RUN: %clang_cc1 -Wno-unused-value -std=c++20 -include-pch %t/pch_1.h.pch -verify %t/main.cpp -Wunsafe-buffer-usage
|
|
|
|
|
|
//--- textual_1.h
|
|
int a(int *s) {
|
|
s[2]; // <- expected warning here
|
|
#pragma clang unsafe_buffer_usage begin
|
|
return s[1];
|
|
#pragma clang unsafe_buffer_usage end
|
|
}
|
|
|
|
//--- textual_2.h
|
|
int b(int *s) {
|
|
s[2]; // <- expected warning here
|
|
#pragma clang unsafe_buffer_usage begin
|
|
return s[1];
|
|
#pragma clang unsafe_buffer_usage end
|
|
}
|
|
|
|
//--- pch_1.h
|
|
#include "textual_2.h"
|
|
|
|
int c(int *s) {
|
|
s[2]; // <- expected warning here
|
|
#pragma clang unsafe_buffer_usage begin
|
|
return s[1];
|
|
#pragma clang unsafe_buffer_usage end
|
|
}
|
|
|
|
//--- pch_2.h
|
|
int d(int *s) {
|
|
s[2]; // <- expected warning here
|
|
#pragma clang unsafe_buffer_usage begin
|
|
return s[1];
|
|
#pragma clang unsafe_buffer_usage end
|
|
}
|
|
|
|
|
|
//--- main.cpp
|
|
#include "textual_1.h"
|
|
// expected-warning@textual_1.h:2{{unsafe buffer access}} \
|
|
expected-note@textual_1.h:2{{pass -fsafe-buffer-usage-suggestions to receive code hardening suggestions}}
|
|
// expected-warning@textual_2.h:2{{unsafe buffer access}} \
|
|
expected-note@textual_2.h:2{{pass -fsafe-buffer-usage-suggestions to receive code hardening suggestions}}
|
|
// expected-warning@pch_1.h:4{{unsafe buffer access}} \
|
|
expected-note@pch_1.h:4{{pass -fsafe-buffer-usage-suggestions to receive code hardening suggestions}}
|
|
// expected-warning@pch_2.h:2{{unsafe buffer access}} \
|
|
expected-note@pch_2.h:2{{pass -fsafe-buffer-usage-suggestions to receive code hardening suggestions}}
|
|
int main() {
|
|
int s[] = {1, 2, 3};
|
|
return a(s) + b(s) + c(s) + d(s);
|
|
}
|