浏览代码

Fix off-by-one error when emitting diagnostics. Also, make diagnostic
a bit nicer for people who pass lots of extra arguments to calls by
selecting them all instead of just the first one:

arg-duplicate.c:13:13: error: too many arguments to function
f3 (1, 1, 2, 3, 4); // expected-error {{too many arguments to function}}
^~~~~~~

This implements test/Sema/arg-duplicate.c, thanks to Neil for pointing
out this crash.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@40136 91177308-0d34-0410-b5e6-96231b3b80d8

Chris Lattner 18 年之前
父节点
当前提交
d472b31d80
共有 2 个文件被更改,包括 18 次插入2 次删除
  1. 3 2
      Sema/SemaExpr.cpp
  2. 15 0
      test/Sema/arg-duplicate.c

+ 3 - 2
Sema/SemaExpr.cpp

@@ -409,9 +409,10 @@ ParseCallExpr(ExprTy *fn, SourceLocation LParenLoc,
            Fn->getSourceRange());
     else if (NumArgsInCall > NumArgsInProto) {
       if (!proto->isVariadic()) {
-        Diag(Args[NumArgsInProto+1]->getLocStart(), 
+        Diag(Args[NumArgsInProto]->getLocStart(), 
              diag::err_typecheck_call_too_many_args, Fn->getSourceRange(),
-             Args[NumArgsInProto+1]->getSourceRange());
+             SourceRange(Args[NumArgsInProto]->getLocStart(),
+                         Args[NumArgsInCall-1]->getLocEnd()));
       }
       NumArgsToCheck = NumArgsInProto;
     }

+ 15 - 0
test/Sema/arg-duplicate.c

@@ -0,0 +1,15 @@
+// RUN: clang -parse-ast-check %s
+
+typedef int x; 
+int f3(y, x, 
+       x)          // expected-error {{redefinition of parameter}}
+  int y, x, 
+      x;           // expected-error {{redefinition of parameter}}
+{
+  return x + y; 
+} 
+
+void f4(void) { 
+  f3 (1, 1, 2, 3, 4);   // expected-error {{too many arguments to function}}
+}
+