c8850051c2
EvaluateAsInitializer does not support evaluating values with dependent types. This was previously guarded with a check for the initializer expression, but it is possible for the VarDecl to have a dependent type without the initializer having a dependent type, when the initializer is a specialized template type and the VarDecl has the unspecialized type. This adds a guard checking for dependence in the VarDecl type as well. This fixes the issue raised by Google in https://github.com/llvm/llvm-project/pull/145447
21 lines
442 B
C++
21 lines
442 B
C++
// Tests referencing variable with initializer containing side effect across module boundary
|
|
|
|
// RUN: %clang_cc1 -std=c++20 -emit-module-interface %s -o %t
|
|
|
|
export module Foo;
|
|
|
|
export template <class Float>
|
|
struct Wrapper {
|
|
double value;
|
|
};
|
|
|
|
export constexpr Wrapper<double> Compute() {
|
|
return Wrapper<double>{1.0};
|
|
}
|
|
|
|
export template <typename Float>
|
|
Wrapper<Float> ComputeInFloat() {
|
|
const Wrapper<Float> a = Compute();
|
|
return a;
|
|
}
|