From 09806664665f289bf8eb2512fa445ab68a0b27c7 Mon Sep 17 00:00:00 2001 From: Vlad Tsyrklevich Date: Fri, 4 Aug 2017 21:21:00 +0000 Subject: [PATCH] Reland "CFI: blacklist STL allocate() from unrelated-casts" Reland r310097 with a fix for a debug assertion in NamedDecl.getName() Differential Revision: https://reviews.llvm.org/D36294 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@310132 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CodeGenFunction.cpp | 28 ++++++++++++++++++++++ test/CodeGen/cfi-unrelated-cast.cpp | 37 +++++++++++++++++++++++++++++ 2 files changed, 65 insertions(+) create mode 100644 test/CodeGen/cfi-unrelated-cast.cpp diff --git a/lib/CodeGen/CodeGenFunction.cpp b/lib/CodeGen/CodeGenFunction.cpp index fc7a10d08b..53e6cb3a21 100644 --- a/lib/CodeGen/CodeGenFunction.cpp +++ b/lib/CodeGen/CodeGenFunction.cpp @@ -723,6 +723,26 @@ static void markAsIgnoreThreadCheckingAtRuntime(llvm::Function *Fn) { Fn->removeFnAttr(llvm::Attribute::SanitizeThread); } +static bool matchesStlAllocatorFn(const Decl *D, const ASTContext &Ctx) { + auto *MD = dyn_cast_or_null(D); + if (!MD || !MD->getDeclName().getAsIdentifierInfo() || + !MD->getDeclName().getAsIdentifierInfo()->isStr("allocate") || + (MD->getNumParams() != 1 && MD->getNumParams() != 2)) + return false; + + if (MD->parameters()[0]->getType().getCanonicalType() != Ctx.getSizeType()) + return false; + + if (MD->getNumParams() == 2) { + auto *PT = MD->parameters()[1]->getType()->getAs(); + if (!PT || !PT->isVoidPointerType() || + !PT->getPointeeType().isConstQualified()) + return false; + } + + return true; +} + void CodeGenFunction::StartFunction(GlobalDecl GD, QualType RetTy, llvm::Function *Fn, @@ -782,6 +802,14 @@ void CodeGenFunction::StartFunction(GlobalDecl GD, } } + // Ignore unrelated casts in STL allocate() since the allocator must cast + // from void* to T* before object initialization completes. Don't match on the + // namespace because not all allocators are in std:: + if (D && SanOpts.has(SanitizerKind::CFIUnrelatedCast)) { + if (matchesStlAllocatorFn(D, getContext())) + SanOpts.Mask &= ~SanitizerKind::CFIUnrelatedCast; + } + // Apply xray attributes to the function (as a string, for now) if (D && ShouldXRayInstrumentFunction()) { if (const auto *XRayAttr = D->getAttr()) { diff --git a/test/CodeGen/cfi-unrelated-cast.cpp b/test/CodeGen/cfi-unrelated-cast.cpp new file mode 100644 index 0000000000..d01cdf00b7 --- /dev/null +++ b/test/CodeGen/cfi-unrelated-cast.cpp @@ -0,0 +1,37 @@ +// STL allocators should not have unrelated-cast tests applied +// RUN: %clang_cc1 -flto -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-unrelated-cast -emit-llvm -o - %s | FileCheck %s + +#include + +template +class myalloc { + public: + // CHECK: define{{.*}}allocateE{{.}} + // CHECK-NOT: llvm.type.test + T *allocate(size_t sz) { + return (T*)::operator new(sz); + } + + // CHECK: define{{.*}}allocateE{{.}}PKv + // CHECK-NOT: llvm.type.test + T *allocate(size_t sz, const void *ptr) { + return (T*)::operator new(sz); + } + + // CHECK: define{{.*}}differentName + // CHECK: llvm.type.test + T *differentName(size_t sz, const void *ptr) { + return (T*)::operator new(sz); + } +}; + +class C1 { + virtual void f() {} +}; + +C1 *f1() { + myalloc allocator; + (void)allocator.allocate(16); + (void)allocator.allocate(16, 0); + (void)allocator.differentName(16, 0); +} -- 2.40.0