The patch titled
Subject: compiler-gcc.h: use "proved" instead of "proofed"
has been removed from the -mm tree. Its filename was
compiler-gcch-use-proved-instead-of-proofed.patch
This patch was dropped because it was merged into mainline or a subsystem tree
------------------------------------------------------
From: Benjamin Peterson <bp@xxxxxxxxxxx>
Subject: compiler-gcc.h: use "proved" instead of "proofed"
Link: http://lkml.kernel.org/r/1477894241.1103202.772260161.1B0A5995@xxxxxxxxxxxxxxxxxxxxxxxxxxx
Signed-off-by: Benjamin Peterson <bp@xxxxxxxxxxx>
Signed-off-by: Andrew Morton <akpm@xxxxxxxxxxxxxxxxxxxx>
---
include/linux/compiler-gcc.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff -puN include/linux/compiler-gcc.h~compiler-gcch-use-proved-instead-of-proofed include/linux/compiler-gcc.h
--- a/include/linux/compiler-gcc.h~compiler-gcch-use-proved-instead-of-proofed
+++ a/include/linux/compiler-gcc.h
@@ -21,7 +21,7 @@
* clobbered. The issue is as follows: while the inline asm might
* access any memory it wants, the compiler could have fit all of
* @ptr into memory registers instead, and since @ptr never escaped
- * from that, it proofed that the inline asm wasn't touching any of
+ * from that, it proved that the inline asm wasn't touching any of
* it. This version works well with both compilers, i.e. we're telling
* the compiler that the inline asm absolutely may see the contents
* of @ptr. See also: https://llvm.org/bugs/show_bug.cgi?id=15495
_
Patches currently in -mm which might be from bp@xxxxxxxxxxx are
--
To unsubscribe from this list: send the line "unsubscribe mm-commits" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
