diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-10-21 03:28:35 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-10-21 03:28:35 +0000 |
| commit | db2630fb043da9437dc8783cd0c7a94e8f4fe5e0 (patch) | |
| tree | eabdb211d96bb082bf5ad9d53d3266df5840c9f3 /clang/INPUTS | |
| parent | 7e1084d36c80223405b82292fc4e1b21d44740d6 (diff) | |
| download | bcm5719-llvm-db2630fb043da9437dc8783cd0c7a94e8f4fe5e0.tar.gz bcm5719-llvm-db2630fb043da9437dc8783cd0c7a94e8f4fe5e0.zip | |
Unrevert r166268, reverted in r166272, with a fix for the issue which Nick
found: if an overloaded operator& is present before a template definition,
the expression &T::foo is represented as a CXXOperatorCallExpr, not as a
UnaryOperator, so we didn't notice that it's permitted to reference a non-static
data member of an unrelated class.
While investigating this, I discovered another problem in this area: we are
treating template default arguments as unevaluated contexts during substitution,
resulting in performing incorrect checks for uses of non-static data members in
C++11. That is not fixed by this patch (I'll look into this soon; it's related
to the failure to correctly instantiate constexpr function templates), but was
resulting in this bug not firing in C++11 mode (except with -Wc++98-compat).
Original message:
PR14124: When performing template instantiation of a qualified-id outside of a
class, diagnose if the qualified-id instantiates to a non-static class member.
llvm-svn: 166385
Diffstat (limited to 'clang/INPUTS')
0 files changed, 0 insertions, 0 deletions

