mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-17 06:26:35 +00:00
9b2ec87f5b
In #115916 I allowed copying empty structs. Later in #115917 I changed how objects are copied, and basically when we would want to copy a struct (an LCV) of a single symbol (likely coming from an opaque fncall or invalidation), just directly bind that symbol instead of creating an LCV referring to the symbol. This was an optimization to skip a layer of indirection. Now, it turns out I should have apply the same logic in #115916. I should not have just blindly created an LCV by calling `createLazyBinding()`, but rather check if I can apply the shortcut described in #115917 and only create the LCV if the shortcut doesn't apply. In this patch I check if there is a single default binding that the copy would refer to and if so, just return that symbol instead of creating an LCV. There shouldn't be any observable changes besides that we should have fewer LCVs. This change may surface bugs in checkers that were associating some metadata with entities in a wrong way. Notably, STLAlgorithmModeling and DebugIteratorModeling checkers would likely stop working after this change. I didn't investigate them deeply because they were broken even prior to this patch. Let me know if I should migrate these checkers to be just as bugged as they were prior to this patch - thus make the tests pass.
34 lines
1.5 KiB
C++
34 lines
1.5 KiB
C++
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
|
|
// RUN: -analyzer-config eagerly-assume=false -std=c++20 -verify %s
|
|
|
|
template <class T> void clang_analyzer_dump(T);
|
|
void clang_analyzer_eval(bool);
|
|
|
|
struct Box {
|
|
int value;
|
|
};
|
|
bool operator ==(Box lhs, Box rhs) {
|
|
return lhs.value == rhs.value;
|
|
}
|
|
template <Box V> void dumps() {
|
|
clang_analyzer_dump(V); // expected-warning {{Unknown}}
|
|
clang_analyzer_dump(&V); // expected-warning {{Unknown}}
|
|
clang_analyzer_dump(V.value); // expected-warning {{Unknown}} FIXME: It should be '6 S32b'.
|
|
clang_analyzer_dump(&V.value); // expected-warning {{Unknown}}
|
|
}
|
|
template void dumps<Box{6}>();
|
|
|
|
// [temp.param].7.3.2:
|
|
// "All such template parameters in the program of the same type with the
|
|
// same value denote the same template parameter object."
|
|
template <Box A1, Box A2, Box B1, Box B2> void stable_addresses() {
|
|
clang_analyzer_eval(&A1 == &A2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
|
|
clang_analyzer_eval(&B1 == &B2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
|
|
clang_analyzer_eval(&A1 == &B2); // expected-warning {{UNKNOWN}} FIXME: It should be FALSE.
|
|
|
|
clang_analyzer_eval(A1 == A2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
|
|
clang_analyzer_eval(B1 == B2); // expected-warning {{UNKNOWN}} FIXME: It should be TRUE.
|
|
clang_analyzer_eval(A1 == B2); // expected-warning {{UNKNOWN}} FIXME: It should be FALSE.
|
|
}
|
|
template void stable_addresses<Box{1}, Box{1}, Box{2}, Box{2}>();
|