int x;
constexpr int* init_t(int i) {
 return &x;
}
float* init_t(float f) {
 return new float();
}
template <typename T> void constexpr_variable_template() {
 constexpr T t1{};
 T* t = init_t(t1); // COMPLIANT[FALSE_POSITIVE] for int, this could be constexpr, but not for float
}
void test() {
 constexpr_variable_template<int>();
 constexpr_variable_template<float>();
}