From 06b3a06007e02aebe497f34651a4e50b00adb051 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 31 Aug 2012 22:39:21 +0000 Subject: [PATCH] don't warn about unused values when the unused value is a statement expression expanded from a macro. This is of dubious utility in general, but is specifically a major issue for the linux kernel. This resolves PR13747. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163034 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Sema/SemaStmt.cpp | 7 +++++++ test/Frontend/macros.c | 8 ++++++++ 2 files changed, 15 insertions(+) diff --git a/lib/Sema/SemaStmt.cpp b/lib/Sema/SemaStmt.cpp index c885d484e7..76410e20ac 100644 --- a/lib/Sema/SemaStmt.cpp +++ b/lib/Sema/SemaStmt.cpp @@ -160,6 +160,13 @@ void Sema::DiagnoseUnusedExprResult(const Stmt *S) { !E->isUnusedResultAWarning(WarnExpr, Loc, R1, R2, Context)) return; + // If this is a GNU statement expression expanded from a macro, it is probably + // unused because it is a function-like macro that can be used as either an + // expression or statement. Don't warn, because it is almost certainly a + // false positive. + if (isa(E) && Loc.isMacroID()) + return; + // Okay, we have an unused result. Depending on what the base expression is, // we might want to make a more specific diagnostic. Check for one of these // cases now. diff --git a/test/Frontend/macros.c b/test/Frontend/macros.c index 317079709c..828c762840 100644 --- a/test/Frontend/macros.c +++ b/test/Frontend/macros.c @@ -2,3 +2,11 @@ int a[(B A) == 1 ? 1 : -1]; + +// PR13747 - Don't warn about unused results with statement exprs in macros. +void stuff(int,int,int); +#define memset(x,y,z) ({ stuff(x,y,z); x; }) + +void foo(int a, int b, int c) { + memset(a,b,c); // No warning! +} -- 2.50.1