d6e47a405a
This fixes a UBSan error seen while debugging clang: Member call on null pointer of type 'clang::TypeSourceInfo' rdar://58783517 Differential Revision: https://reviews.llvm.org/D73808
73 lines
3.0 KiB
C++
73 lines
3.0 KiB
C++
//===-- main.cpp ------------------------------------------------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
template <class T, int... Args> struct C {
|
|
T member;
|
|
bool isSixteenThirtyTwo() { return false; }
|
|
};
|
|
|
|
template <> struct C<int, 16> {
|
|
int member;
|
|
bool isSixteenThirtyTwo() { return false; }
|
|
};
|
|
|
|
template <> struct C<int, 16, 32> : C<int, 16> {
|
|
bool isSixteenThirtyTwo() { return true; }
|
|
};
|
|
|
|
template <class T, typename... Args> struct D {
|
|
T member;
|
|
bool isIntBool() { return false; }
|
|
};
|
|
|
|
template <> struct D<int, int> {
|
|
int member;
|
|
bool isIntBool() { return false; }
|
|
};
|
|
|
|
template <> struct D<int, int, bool> : D<int, int> {
|
|
bool isIntBool() { return true; }
|
|
};
|
|
|
|
template<int Size> struct array {
|
|
int Arr[Size];
|
|
array() {}
|
|
};
|
|
|
|
int main (int argc, char const *argv[])
|
|
{
|
|
C<int,16,32> myC;
|
|
C<int,16> myLesserC;
|
|
myC.member = 64;
|
|
(void)C<int,16,32>().isSixteenThirtyTwo();
|
|
(void)C<int,16>().isSixteenThirtyTwo();
|
|
(void)(myC.member != 64); //% self.expect("expression -- myC", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["64"])
|
|
//% self.expect("expression -- myLesserC.isSixteenThirtyTwo()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["false"])
|
|
//% self.expect("expression -- myC.isSixteenThirtyTwo()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["true"])
|
|
|
|
// Disabling until we do template lookup correctly: http://lists.llvm.org/pipermail/lldb-commits/Week-of-Mon-20180507/040689.html
|
|
//#% self.expect("expression -- C<int, 16>().isSixteenThirtyTwo()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["false"])
|
|
//#% self.expect("expression -- C<int, 16, 32>().isSixteenThirtyTwo()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["true"])
|
|
|
|
D<int,int,bool> myD;
|
|
D<int,int> myLesserD;
|
|
myD.member = 64;
|
|
(void)D<int,int,bool>().isIntBool();
|
|
(void)D<int,int>().isIntBool(); //% self.expect("expression -- myD", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["64"])
|
|
//% self.expect("expression -- myLesserD.isIntBool()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["false"])
|
|
//% self.expect("expression -- myD.isIntBool()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["true"])
|
|
|
|
// See comment above.
|
|
//#% self.expect("expression -- D<int, int>().isIntBool()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["false"])
|
|
//#% self.expect("expression -- D<int, int, bool>().isIntBool()", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["true"])
|
|
|
|
array<3> myArray; //% self.expect("expression -- myArray", DATA_TYPES_DISPLAYED_CORRECTLY, substrs = ["Arr"])
|
|
|
|
return 1;
|
|
}
|