Diff 105721

llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp

Show First 20 Lines • Show All 2,912 Lines • ▼ Show 20 Lines	void visitCatchReturnInst(CatchReturnInst &CRI) {
// Nothing to do here.		// Nothing to do here.
}		}

void visitInstruction(Instruction &I) {		void visitInstruction(Instruction &I) {
// Everything else: stop propagating and check for poisoned shadow.		// Everything else: stop propagating and check for poisoned shadow.
if (ClDumpStrictInstructions)		if (ClDumpStrictInstructions)
dumpInst(I);		dumpInst(I);
DEBUG(dbgs() << "DEFAULT: " << I << "\n");		DEBUG(dbgs() << "DEFAULT: " << I << "\n");
for (size_t i = 0, n = I.getNumOperands(); i < n; i++)		for (size_t i = 0, n = I.getNumOperands(); i < n; i++) {
insertShadowCheck(I.getOperand(i), &I);		Value *Operand = I.getOperand(i);
		if (Operand->getType()->isSized())
		insertShadowCheck(Operand, &I);
		}
setShadow(&I, getCleanShadow(&I));		setShadow(&I, getCleanShadow(&I));
setOrigin(&I, getCleanOrigin());		setOrigin(&I, getCleanOrigin());
}		}
};		};

/// \brief AMD64-specific implementation of VarArgHelper.		/// \brief AMD64-specific implementation of VarArgHelper.
struct VarArgAMD64Helper : public VarArgHelper {		struct VarArgAMD64Helper : public VarArgHelper {
// An unfortunate workaround for asymmetric lowering of va_arg stuff.		// An unfortunate workaround for asymmetric lowering of va_arg stuff.
▲ Show 20 Lines • Show All 736 Lines • Show Last 20 Lines

				; Check that unsized token types used by coroutine intrinsics do not get shadow
				; memory checks.
				; RUN: opt < %s -msan -S 2>&1 \| FileCheck %s

				target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
				target triple = "x86_64-unknown-linux-gnu"

				declare token @llvm.coro.id(i32, i8* readnone, i8* nocapture readonly, i8*) #1
				declare i1 @llvm.coro.alloc(token) #2

				define void @foo() sanitize_memory {
				entry:
				%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
				%dyn.alloc.reqd = call i1 @llvm.coro.alloc(token %id)
				ret void
				}

				;attributes #1 = { argmemonly nounwind readonly }
				;attributes #2 = { nounwind }
				eugenisUnsubmitted Not Done Reply Inline Actions remove the comment lines eugenis: remove the comment lines
				eugenisUnsubmitted Not Done Reply Inline Actions In fact, the assertion failure is not really the point of this test. Please make it a positive one - check the instrumentation (or lack of it) of @foo. eugenis: In fact, the assertion failure is not really the point of this test. Please make it a positive…

				; CHECK-NOT: Assertion{{.*}}failed