svn commit: r337310 - in projects/clang700-import/contrib/llvm/tools/clang: include/clang/Basic lib/AST lib/Basic lib/Sema
Dimitry Andric
dim at FreeBSD.org
Sat Aug 4 13:28:08 UTC 2018
Author: dim
Date: Sat Aug 4 13:28:05 2018
New Revision: 337310
URL: https://svnweb.freebsd.org/changeset/base/337310
Log:
Merge clang release_70 branch r338892, and resolve conflicts.
Modified:
projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/Builtins.def
projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/DiagnosticASTKinds.td
projects/clang700-import/contrib/llvm/tools/clang/lib/AST/ExprConstant.cpp
projects/clang700-import/contrib/llvm/tools/clang/lib/Basic/Version.cpp
projects/clang700-import/contrib/llvm/tools/clang/lib/Sema/SemaInit.cpp
Directory Properties:
projects/clang700-import/contrib/llvm/tools/clang/ (props changed)
Modified: projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/Builtins.def
==============================================================================
--- projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/Builtins.def Sat Aug 4 13:25:25 2018 (r337309)
+++ projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/Builtins.def Sat Aug 4 13:28:05 2018 (r337310)
@@ -471,8 +471,6 @@ BUILTIN(__builtin_wcslen, "zwC*", "nF")
BUILTIN(__builtin_wcsncmp, "iwC*wC*z", "nF")
BUILTIN(__builtin_wmemchr, "w*wC*wz", "nF")
BUILTIN(__builtin_wmemcmp, "iwC*wC*z", "nF")
-BUILTIN(__builtin_wmemcpy, "w*w*wC*z", "nF")
-BUILTIN(__builtin_wmemmove, "w*w*wC*z", "nF")
BUILTIN(__builtin_return_address, "v*IUi", "n")
BUILTIN(__builtin_extract_return_addr, "v*v*", "n")
BUILTIN(__builtin_frame_address, "v*IUi", "n")
@@ -910,8 +908,6 @@ LIBBUILTIN(wcslen, "zwC*", "f", "wchar.h", ALL_LA
LIBBUILTIN(wcsncmp, "iwC*wC*z", "f", "wchar.h", ALL_LANGUAGES)
LIBBUILTIN(wmemchr, "w*wC*wz", "f", "wchar.h", ALL_LANGUAGES)
LIBBUILTIN(wmemcmp, "iwC*wC*z", "f", "wchar.h", ALL_LANGUAGES)
-LIBBUILTIN(wmemcpy, "w*w*wC*z", "f", "wchar.h", ALL_LANGUAGES)
-LIBBUILTIN(wmemmove,"w*w*wC*z", "f", "wchar.h", ALL_LANGUAGES)
// C99
// In some systems setjmp is a macro that expands to _setjmp. We undefine
Modified: projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/DiagnosticASTKinds.td
==============================================================================
--- projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/DiagnosticASTKinds.td Sat Aug 4 13:25:25 2018 (r337309)
+++ projects/clang700-import/contrib/llvm/tools/clang/include/clang/Basic/DiagnosticASTKinds.td Sat Aug 4 13:28:05 2018 (r337310)
@@ -163,20 +163,6 @@ def note_constexpr_unsupported_unsized_array : Note<
def note_constexpr_unsized_array_indexed : Note<
"indexing of array without known bound is not allowed "
"in a constant expression">;
-def note_constexpr_memcpy_type_pun : Note<
- "cannot constant evaluate '%select{memcpy|memmove}0' from object of "
- "type %1 to object of type %2">;
-def note_constexpr_memcpy_nontrivial : Note<
- "cannot constant evaluate '%select{memcpy|memmove}0' between objects of "
- "non-trivially-copyable type %1">;
-def note_constexpr_memcpy_overlap : Note<
- "'%select{memcpy|wmemcpy}0' between overlapping memory regions">;
-def note_constexpr_memcpy_unsupported : Note<
- "'%select{%select{memcpy|wmemcpy}1|%select{memmove|wmemmove}1}0' "
- "not supported: %select{"
- "size to copy (%4) is not a multiple of size of element type %3 (%5)|"
- "source is not a contiguous array of at least %4 elements of type %3|"
- "destination is not a contiguous array of at least %4 elements of type %3}2">;
def warn_integer_constant_overflow : Warning<
"overflow in expression; result is %0 with type %1">,
Modified: projects/clang700-import/contrib/llvm/tools/clang/lib/AST/ExprConstant.cpp
==============================================================================
--- projects/clang700-import/contrib/llvm/tools/clang/lib/AST/ExprConstant.cpp Sat Aug 4 13:25:25 2018 (r337309)
+++ projects/clang700-import/contrib/llvm/tools/clang/lib/AST/ExprConstant.cpp Sat Aug 4 13:28:05 2018 (r337310)
@@ -319,25 +319,6 @@ namespace {
return false;
}
- /// Get the range of valid index adjustments in the form
- /// {maximum value that can be subtracted from this pointer,
- /// maximum value that can be added to this pointer}
- std::pair<uint64_t, uint64_t> validIndexAdjustments() {
- if (Invalid || isMostDerivedAnUnsizedArray())
- return {0, 0};
-
- // [expr.add]p4: For the purposes of these operators, a pointer to a
- // nonarray object behaves the same as a pointer to the first element of
- // an array of length one with the type of the object as its element type.
- bool IsArray = MostDerivedPathLength == Entries.size() &&
- MostDerivedIsArrayElement;
- uint64_t ArrayIndex =
- IsArray ? Entries.back().ArrayIndex : (uint64_t)IsOnePastTheEnd;
- uint64_t ArraySize =
- IsArray ? getMostDerivedArraySize() : (uint64_t)1;
- return {ArrayIndex, ArraySize - ArrayIndex};
- }
-
/// Check that this refers to a valid subobject.
bool isValidSubobject() const {
if (Invalid)
@@ -348,13 +329,6 @@ namespace {
/// relevant diagnostic and set the designator as invalid.
bool checkSubobject(EvalInfo &Info, const Expr *E, CheckSubobjectKind CSK);
- /// Get the type of the designated object.
- QualType getType(ASTContext &Ctx) const {
- return MostDerivedPathLength == Entries.size()
- ? MostDerivedType
- : Ctx.getRecordType(getAsBaseClass(Entries.back()));
- }
-
/// Update this designator to refer to the first element within this array.
void addArrayUnchecked(const ConstantArrayType *CAT) {
PathEntry Entry;
@@ -1732,54 +1706,6 @@ static bool IsGlobalLValue(APValue::LValueBase B) {
}
}
-static const ValueDecl *GetLValueBaseDecl(const LValue &LVal) {
- return LVal.Base.dyn_cast<const ValueDecl*>();
-}
-
-static bool IsLiteralLValue(const LValue &Value) {
- if (Value.getLValueCallIndex())
- return false;
- const Expr *E = Value.Base.dyn_cast<const Expr*>();
- return E && !isa<MaterializeTemporaryExpr>(E);
-}
-
-static bool IsWeakLValue(const LValue &Value) {
- const ValueDecl *Decl = GetLValueBaseDecl(Value);
- return Decl && Decl->isWeak();
-}
-
-static bool isZeroSized(const LValue &Value) {
- const ValueDecl *Decl = GetLValueBaseDecl(Value);
- if (Decl && isa<VarDecl>(Decl)) {
- QualType Ty = Decl->getType();
- if (Ty->isArrayType())
- return Ty->isIncompleteType() ||
- Decl->getASTContext().getTypeSize(Ty) == 0;
- }
- return false;
-}
-
-static bool HasSameBase(const LValue &A, const LValue &B) {
- if (!A.getLValueBase())
- return !B.getLValueBase();
- if (!B.getLValueBase())
- return false;
-
- if (A.getLValueBase().getOpaqueValue() !=
- B.getLValueBase().getOpaqueValue()) {
- const Decl *ADecl = GetLValueBaseDecl(A);
- if (!ADecl)
- return false;
- const Decl *BDecl = GetLValueBaseDecl(B);
- if (!BDecl || ADecl->getCanonicalDecl() != BDecl->getCanonicalDecl())
- return false;
- }
-
- return IsGlobalLValue(A.getLValueBase()) ||
- (A.getLValueCallIndex() == B.getLValueCallIndex() &&
- A.getLValueVersion() == B.getLValueVersion());
-}
-
static void NoteLValueLocation(EvalInfo &Info, APValue::LValueBase Base) {
assert(Base && "no location for a null lvalue");
const ValueDecl *VD = Base.dyn_cast<const ValueDecl*>();
@@ -1991,6 +1917,33 @@ CheckConstantExpression(EvalInfo &Info, SourceLocation
return true;
}
+static const ValueDecl *GetLValueBaseDecl(const LValue &LVal) {
+ return LVal.Base.dyn_cast<const ValueDecl*>();
+}
+
+static bool IsLiteralLValue(const LValue &Value) {
+ if (Value.getLValueCallIndex())
+ return false;
+ const Expr *E = Value.Base.dyn_cast<const Expr*>();
+ return E && !isa<MaterializeTemporaryExpr>(E);
+}
+
+static bool IsWeakLValue(const LValue &Value) {
+ const ValueDecl *Decl = GetLValueBaseDecl(Value);
+ return Decl && Decl->isWeak();
+}
+
+static bool isZeroSized(const LValue &Value) {
+ const ValueDecl *Decl = GetLValueBaseDecl(Value);
+ if (Decl && isa<VarDecl>(Decl)) {
+ QualType Ty = Decl->getType();
+ if (Ty->isArrayType())
+ return Ty->isIncompleteType() ||
+ Decl->getASTContext().getTypeSize(Ty) == 0;
+ }
+ return false;
+}
+
static bool EvalPointerValueAsBool(const APValue &Value, bool &Result) {
// A null base expression indicates a null pointer. These are always
// evaluatable, and they are false unless the offset is zero.
@@ -6164,130 +6117,6 @@ bool PointerExprEvaluator::VisitBuiltinCallExpr(const
return ZeroInitialization(E);
}
- case Builtin::BImemcpy:
- case Builtin::BImemmove:
- case Builtin::BIwmemcpy:
- case Builtin::BIwmemmove:
- if (Info.getLangOpts().CPlusPlus11)
- Info.CCEDiag(E, diag::note_constexpr_invalid_function)
- << /*isConstexpr*/0 << /*isConstructor*/0
- << (std::string("'") + Info.Ctx.BuiltinInfo.getName(BuiltinOp) + "'");
- else
- Info.CCEDiag(E, diag::note_invalid_subexpr_in_const_expr);
- LLVM_FALLTHROUGH;
- case Builtin::BI__builtin_memcpy:
- case Builtin::BI__builtin_memmove:
- case Builtin::BI__builtin_wmemcpy:
- case Builtin::BI__builtin_wmemmove: {
- bool WChar = BuiltinOp == Builtin::BIwmemcpy ||
- BuiltinOp == Builtin::BIwmemmove ||
- BuiltinOp == Builtin::BI__builtin_wmemcpy ||
- BuiltinOp == Builtin::BI__builtin_wmemmove;
- bool Move = BuiltinOp == Builtin::BImemmove ||
- BuiltinOp == Builtin::BIwmemmove ||
- BuiltinOp == Builtin::BI__builtin_memmove ||
- BuiltinOp == Builtin::BI__builtin_wmemmove;
-
- // The result of mem* is the first argument.
- if (!Visit(E->getArg(0)))
- return false;
- LValue Dest = Result;
-
- LValue Src;
- if (!EvaluatePointer(E->getArg(1), Src, Info))
- return false;
-
- APSInt N;
- if (!EvaluateInteger(E->getArg(2), N, Info))
- return false;
- assert(!N.isSigned() && "memcpy and friends take an unsigned size");
-
- // If the size is zero, we treat this as always being a valid no-op.
- // (Even if one of the src and dest pointers is null.)
- if (!N)
- return true;
-
- // We require that Src and Dest are both pointers to arrays of
- // trivially-copyable type. (For the wide version, the designator will be
- // invalid if the designated object is not a wchar_t.)
- QualType T = Dest.Designator.getType(Info.Ctx);
- QualType SrcT = Src.Designator.getType(Info.Ctx);
- if (!Info.Ctx.hasSameUnqualifiedType(T, SrcT)) {
- Info.FFDiag(E, diag::note_constexpr_memcpy_type_pun) << Move << SrcT << T;
- return false;
- }
- if (!T.isTriviallyCopyableType(Info.Ctx)) {
- Info.FFDiag(E, diag::note_constexpr_memcpy_nontrivial) << Move << T;
- return false;
- }
-
- // Figure out how many T's we're copying.
- uint64_t TSize = Info.Ctx.getTypeSizeInChars(T).getQuantity();
- if (!WChar) {
- uint64_t Remainder;
- llvm::APInt OrigN = N;
- llvm::APInt::udivrem(OrigN, TSize, N, Remainder);
- if (Remainder) {
- Info.FFDiag(E, diag::note_constexpr_memcpy_unsupported)
- << Move << WChar << 0 << T << OrigN.toString(10, /*Signed*/false)
- << (unsigned)TSize;
- return false;
- }
- }
-
- // Check that the copying will remain within the arrays, just so that we
- // can give a more meaningful diagnostic. This implicitly also checks that
- // N fits into 64 bits.
- uint64_t RemainingSrcSize = Src.Designator.validIndexAdjustments().second;
- uint64_t RemainingDestSize = Dest.Designator.validIndexAdjustments().second;
- if (N.ugt(RemainingSrcSize) || N.ugt(RemainingDestSize)) {
- Info.FFDiag(E, diag::note_constexpr_memcpy_unsupported)
- << Move << WChar << (N.ugt(RemainingSrcSize) ? 1 : 2) << T
- << N.toString(10, /*Signed*/false);
- return false;
- }
- uint64_t NElems = N.getZExtValue();
- uint64_t NBytes = NElems * TSize;
-
- // Check for overlap.
- int Direction = 1;
- if (HasSameBase(Src, Dest)) {
- uint64_t SrcOffset = Src.getLValueOffset().getQuantity();
- uint64_t DestOffset = Dest.getLValueOffset().getQuantity();
- if (DestOffset >= SrcOffset && DestOffset - SrcOffset < NBytes) {
- // Dest is inside the source region.
- if (!Move) {
- Info.FFDiag(E, diag::note_constexpr_memcpy_overlap) << WChar;
- return false;
- }
- // For memmove and friends, copy backwards.
- if (!HandleLValueArrayAdjustment(Info, E, Src, T, NElems - 1) ||
- !HandleLValueArrayAdjustment(Info, E, Dest, T, NElems - 1))
- return false;
- Direction = -1;
- } else if (!Move && SrcOffset >= DestOffset &&
- SrcOffset - DestOffset < NBytes) {
- // Src is inside the destination region for memcpy: invalid.
- Info.FFDiag(E, diag::note_constexpr_memcpy_overlap) << WChar;
- return false;
- }
- }
-
- while (true) {
- APValue Val;
- if (!handleLValueToRValueConversion(Info, E, T, Src, Val) ||
- !handleAssignment(Info, E, Dest, T, Val))
- return false;
- // Do not iterate past the last element; if we're copying backwards, that
- // might take us off the start of the array.
- if (--NElems == 0)
- return true;
- if (!HandleLValueArrayAdjustment(Info, E, Src, T, Direction) ||
- !HandleLValueArrayAdjustment(Info, E, Dest, T, Direction))
- return false;
- }
- }
-
default:
return visitNonBuiltinCallExpr(E);
}
@@ -8526,6 +8355,27 @@ bool IntExprEvaluator::VisitBuiltinCallExpr(const Call
return Success(DidOverflow, E);
}
}
+}
+
+static bool HasSameBase(const LValue &A, const LValue &B) {
+ if (!A.getLValueBase())
+ return !B.getLValueBase();
+ if (!B.getLValueBase())
+ return false;
+
+ if (A.getLValueBase().getOpaqueValue() !=
+ B.getLValueBase().getOpaqueValue()) {
+ const Decl *ADecl = GetLValueBaseDecl(A);
+ if (!ADecl)
+ return false;
+ const Decl *BDecl = GetLValueBaseDecl(B);
+ if (!BDecl || ADecl->getCanonicalDecl() != BDecl->getCanonicalDecl())
+ return false;
+ }
+
+ return IsGlobalLValue(A.getLValueBase()) ||
+ (A.getLValueCallIndex() == B.getLValueCallIndex() &&
+ A.getLValueVersion() == B.getLValueVersion());
}
/// Determine whether this is a pointer past the end of the complete
Modified: projects/clang700-import/contrib/llvm/tools/clang/lib/Basic/Version.cpp
==============================================================================
--- projects/clang700-import/contrib/llvm/tools/clang/lib/Basic/Version.cpp Sat Aug 4 13:25:25 2018 (r337309)
+++ projects/clang700-import/contrib/llvm/tools/clang/lib/Basic/Version.cpp Sat Aug 4 13:28:05 2018 (r337310)
@@ -36,7 +36,7 @@ std::string getClangRepositoryPath() {
// If the SVN_REPOSITORY is empty, try to use the SVN keyword. This helps us
// pick up a tag in an SVN export, for example.
- StringRef SVNRepository("$URL: https://llvm.org/svn/llvm-project/cfe/trunk/lib/Basic/Version.cpp $");
+ StringRef SVNRepository("$URL: https://llvm.org/svn/llvm-project/cfe/branches/release_70/lib/Basic/Version.cpp $");
if (URL.empty()) {
URL = SVNRepository.slice(SVNRepository.find(':'),
SVNRepository.find("/lib/Basic"));
Modified: projects/clang700-import/contrib/llvm/tools/clang/lib/Sema/SemaInit.cpp
==============================================================================
--- projects/clang700-import/contrib/llvm/tools/clang/lib/Sema/SemaInit.cpp Sat Aug 4 13:25:25 2018 (r337309)
+++ projects/clang700-import/contrib/llvm/tools/clang/lib/Sema/SemaInit.cpp Sat Aug 4 13:28:05 2018 (r337310)
@@ -6371,8 +6371,12 @@ static bool implicitObjectParamIsLifetimeBound(const F
const TypeSourceInfo *TSI = FD->getTypeSourceInfo();
if (!TSI)
return false;
+ // Don't declare this variable in the second operand of the for-statement;
+ // GCC miscompiles that by ending its lifetime before evaluating the
+ // third operand. See gcc.gnu.org/PR86769.
+ AttributedTypeLoc ATL;
for (TypeLoc TL = TSI->getTypeLoc();
- auto ATL = TL.getAsAdjusted<AttributedTypeLoc>();
+ (ATL = TL.getAsAdjusted<AttributedTypeLoc>());
TL = ATL.getModifiedLoc()) {
if (ATL.getAttrKind() == AttributedType::attr_lifetimebound)
return true;
More information about the svn-src-projects
mailing list