maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[ODRHash] clean up test and add new examples. NFC 

Use a macro to generate the struct with all decls.  Previously, four identical
changes would be needed to update this test.  This macro reduces that to one
location.  Added two other tests for issues that triggered false positives
during testing.

llvm-svn: 300814
This commit is contained in:
Richard Trieu 2017-04-20 02:53:53 +00:00
parent 6fd0a5c99d
commit fe56405467
1 changed files with 67 additions and 124 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

191
clang/test/Modules/odr_hash.cpp
View File

@ -526,138 +526,51 @@ S3 s3;
// Interesting cases that should not cause errors. struct S should not error
// while struct T should error at the access specifier mismatch at the end.
namespace AllDecls {
#define CREATE_ALL_DECL_STRUCT(NAME, ACCESS) \
typedef int INT; \
struct NAME { \
public: \
private: \
protected: \
static_assert(1 == 1, "Message"); \
static_assert(2 == 2); \
\
int x; \
double y; \
\
INT z; \
\
unsigned a : 1; \
unsigned b : 2 * 2 + 5 / 2; \
\
mutable int c = sizeof(x + y); \
\
void method() {} \
static void static_method() {} \
virtual void virtual_method() {} \
virtual void pure_virtual_method() = 0; \
inline void inline_method() {} \
void volatile_method() volatile {} \
void const_method() const {} \
\
typedef int typedef_int; \
using using_int = int; \
\
ACCESS: \
};
#if defined(FIRST)
typedef int INT;
struct S {
public:
private:
protected:
static_assert(1 == 1, "Message");
static_assert(2 == 2);
int x;
double y;
INT z;
unsigned a : 1;
unsigned b : 2*2 + 5/2;
mutable int c = sizeof(x + y);
void method() {}
static void static_method() {}
virtual void virtual_method() {}
virtual void pure_virtual_method() = 0;
inline void inline_method() {}
void volatile_method() volatile {}
void const_method() const {}
typedef int typedef_int;
using using_int = int;
};
CREATE_ALL_DECL_STRUCT(S, public)
#elif defined(SECOND)
typedef int INT;
struct S {
public:
private:
protected:
static_assert(1 == 1, "Message");
static_assert(2 == 2);
int x;
double y;
INT z;
unsigned a : 1;
unsigned b : 2 * 2 + 5 / 2;
mutable int c = sizeof(x + y);
void method() {}
static void static_method() {}
virtual void virtual_method() {}
virtual void pure_virtual_method() = 0;
inline void inline_method() {}
void volatile_method() volatile {}
void const_method() const {}
typedef int typedef_int;
using using_int = int;
};
CREATE_ALL_DECL_STRUCT(S, public)
#else
S *s;
#endif
#if defined(FIRST)
typedef int INT;
struct T {
public:
private:
protected:
static_assert(1 == 1, "Message");
static_assert(2 == 2);
int x;
double y;
INT z;
unsigned a : 1;
unsigned b : 2 * 2 + 5 / 2;
mutable int c = sizeof(x + y);
void method() {}
static void static_method() {}
virtual void virtual_method() {}
virtual void pure_virtual_method() = 0;
inline void inline_method() {}
void volatile_method() volatile {}
void const_method() const {}
typedef int typedef_int;
using using_int = int;
private:
};
CREATE_ALL_DECL_STRUCT(T, private)
#elif defined(SECOND)
typedef int INT;
struct T {
public:
private:
protected:
static_assert(1 == 1, "Message");
static_assert(2 == 2);
int x;
double y;
INT z;
unsigned a : 1;
unsigned b : 2 * 2 + 5 / 2;
mutable int c = sizeof(x + y);
void method() {}
static void static_method() {}
virtual void virtual_method() {}
virtual void pure_virtual_method() = 0;
inline void inline_method() {}
void volatile_method() volatile {}
void const_method() const {}
typedef int typedef_int;
using using_int = int;
public:
};
CREATE_ALL_DECL_STRUCT(T, public)
#else
T *t;
// expected-error@second.h:* {{'AllDecls::T' has different definitions in different modules; first difference is definition in module 'SecondModule' found public access specifier}}
@ -944,6 +857,36 @@ T t;
#endif
} // namespace StructWithForwardDeclarationNoDefinition
namespace LateParsedDefaultArgument {
#if defined(FIRST)
template <typename T>
struct S {
struct R {
void foo(T x = 0) {}
};
};
#elif defined(SECOND)
#else
void run() {
S<int>::R().foo();
}
#endif
}
namespace LateParsedDefaultArgument {
#if defined(FIRST)
template <typename alpha> struct Bravo {
void charlie(bool delta = false) {}
};
typedef Bravo<char> echo;
echo foxtrot;
Bravo<char> golf;
#elif defined(SECOND)
#else
#endif
}
// Keep macros contained to one file.
#ifdef FIRST
#undef FIRST