зеркало из https://github.com/microsoft/clang-1.git
Refine bug fix to Expr::isLvalue (commit r46917).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46919 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
75ceedf377
Коммит
acb818a4f7
|
@ -357,6 +357,10 @@ Expr::isLvalueResult Expr::isLvalue() const {
|
||||||
if (TR->isFunctionType()) // from isObjectType()
|
if (TR->isFunctionType()) // from isObjectType()
|
||||||
return LV_NotObjectType;
|
return LV_NotObjectType;
|
||||||
|
|
||||||
|
// Allow qualified void which is an incomplete type other than void (yuck).
|
||||||
|
if (TR->isVoidType() && !TR.getQualifiers())
|
||||||
|
return LV_IncompleteVoidType;
|
||||||
|
|
||||||
if (TR->isReferenceType()) // C++ [expr]
|
if (TR->isReferenceType()) // C++ [expr]
|
||||||
return LV_Valid;
|
return LV_Valid;
|
||||||
|
|
||||||
|
|
|
@ -17,7 +17,7 @@ void foo2 (void)
|
||||||
void foo3 (void)
|
void foo3 (void)
|
||||||
{
|
{
|
||||||
void* x = 0;
|
void* x = 0;
|
||||||
void* y = &*x;
|
void* y = &*x; // expected-error{{address expression must be an lvalue or a function designator}}
|
||||||
}
|
}
|
||||||
|
|
||||||
extern const void cv1;
|
extern const void cv1;
|
||||||
|
@ -26,3 +26,8 @@ const void *foo4 (void)
|
||||||
return &cv1;
|
return &cv1;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
extern void cv2;
|
||||||
|
void *foo5 (void)
|
||||||
|
{
|
||||||
|
return &cv2; // expected-error{{address expression must be an lvalue or a function designator}}
|
||||||
|
}
|
||||||
|
|
Загрузка…
Ссылка в новой задаче