summaryrefslogtreecommitdiffstats
path: root/clang/test/Sema/function.c
Commit message (Collapse)AuthorAgeFilesLines
* PR 20146Nathan Sidwell2015-01-281-1/+1
| | | | | | make new diagnostic an ExtWarn llvm-svn: 227312
* PR 20146Nathan Sidwell2015-01-151-0/+6
| | | | | | reject CV void return type on C definitions per 6.9.1/3 llvm-svn: 226178
* [AST] Introduce a new DecayedType sugar nodeReid Kleckner2013-06-241-0/+10
| | | | | | | | | | | | | | The goal of this sugar node is to be able to look at an arbitrary FunctionType and tell if any of the parameters were decayed from an array or function type. Ultimately this is necessary to implement Microsoft's C++ name mangling scheme, which mangles decayed arrays differently from normal pointers. Reviewers: rsmith Differential Revision: http://llvm-reviews.chandlerc.com/D1014 llvm-svn: 184763
* Fix PR4296: Add parser detection/error recovery for nested functions, from ↵Douglas Gregor2013-04-161-0/+11
| | | | | | Serve Pavlov! llvm-svn: 179603
* Make sure to consider non-DeclContext scopes properly when findingDouglas Gregor2012-01-131-0/+3
| | | | | | | multiple name lookup results in C/Objective-C. Fixes a regression a caused in r147533, found by Enea Zaffanella! llvm-svn: 148154
* Make sure that restrict-qualifying an array actually adds a restrict ↵Eli Friedman2011-11-111-3/+3
| | | | | | qualifier. PR11354. (operator bool() is evil!) llvm-svn: 144355
* fix PR7280 by making the warning on code like this:Chris Lattner2010-07-111-2/+2
| | | | | | | | | | int test1() { return; } default to an error. llvm-svn: 108108
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-1/+1
| | | | | | | | | - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target). llvm-svn: 91446
* In C++, a variadic function does not need an ellipsis prior to the comma. ↵Douglas Gregor2009-09-221-0/+2
| | | | | | Parse it in both C and C++, but diagnose it as an error in C with a fix-it hint to add the comma. llvm-svn: 82576
* Simplify the scheme used for keywords, and change the classification Eli Friedman2009-04-281-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | scheme to be more useful. The new scheme introduces a set of categories that should be more readable, and also reflects what we want to consider as an extension more accurately. Specifically, it makes the "what is a keyword" determination accurately reflect whether the keyword is a GNU or Microsoft extension. I also introduced separate flags for keyword aliases; this is useful because the classification of the aliases is mostly unrelated to the classification of the original keyword. This patch treats anything that's in the implementation namespace (prefixed with "__", or "_X" where "X" is any upper-case letter) as a keyword without marking it as an extension. This is consistent with the standards in that an implementation is allowed to define arbitrary extensions in the implementation namespace without violating the standard. This gets rid of all the nasty "extension used" warnings for stuff like __attribute__ in -pedantic mode. We still warn for extensions outside of the the implementation namespace, like typeof. If someone wants to implement -Wextensions or something like that, we could add additional information to the keyword table. This also removes processing for the unused "Boolean" language option; such an extension isn't supported on any other C implementation, so I don't see any point to adding it. The changes to test/CodeGen/inline.c are required because previously, we weren't actually disabling the "inline" keyword in -std=c89 mode. I'll remove Boolean and NoExtensions from LangOptions in a follow-up commit. llvm-svn: 70281
* Change SemaType's "GetTypeForDeclarator" and "ConvertDeclSpecToType" to Chris Lattner2009-04-251-1/+5
| | | | | | | | | | | | | | | | | | | | | | | | | always return a non-null QualType + error bit. This fixes a bunch of cases that didn't check for null result (and could thus crash) and eliminates some crappy code scattered throughout sema. This also improves the diagnostics in the recursive struct case to eliminate a bogus second error. It also cleans up the case added to function.c by forming a proper function type even though the declarator is erroneous, allowing the parameter to be added to the function. Before: t.c:2:1: error: unknown type name 'unknown_type' unknown_type f(void*P) ^ t.c:4:3: error: use of undeclared identifier 'P' P+1; ^ After: t.c:2:1: error: unknown type name 'unknown_type' unknown_type f(void*P) ^ llvm-svn: 70023
* fix PR4049, a crash on invalid, by making sema install the right number of Chris Lattner2009-04-251-0/+3
| | | | | | | | | | | | | | | | | | | | | parameters in a functiondecl, even if the decl is invalid and has a confusing Declarator. On the testcase, we now emit one beautiful diagnostic: t.c:2:1: error: unknown type name 'unknown_type' unknown_type f(void*) ^ GCC 4.0 produces: t.c:2: error: syntax error before ‘f’ t.c: In function ‘f’: t.c:2: error: parameter name omitted and GCC 4.2: t.c:2: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘f’ llvm-svn: 70016
* in:Chris Lattner2009-04-251-0/+3
| | | | | | | | | | typedef void foo(void); We get a typedef for a functiontypeproto with no arguments, not one with one argument and type void. This means the code being removed in SemaDecl is dead. llvm-svn: 70013
* Fix some mishandling of the attr(gnu_inline) mode when used withChris Lattner2009-04-221-1/+1
| | | | | | | | | | extern. Previously we would warn about it and ignore the attribute. This is incorrect, it should be handled as a c89 "extern inline" function. Many thanks to Matthieu Castet for pointing this out and beating me over the head until I got it. PR3988: extern inline function are not externally visible llvm-svn: 69756
* the __gnuc_inline__ attribute is actually named __gnu_inline__,Chris Lattner2009-04-201-2/+2
| | | | | | PR4023 llvm-svn: 69618
* fix a crash on invalid by making ActOnDeclarator create decl withChris Lattner2009-04-171-0/+7
| | | | | | | a dummy *function* type when it is recovering and knows it needs a function. rdar://6802350 - clang crash on invalid input llvm-svn: 69374
* implement some sema for gnuc_inline attribute. Reject always_inline and ↵Chris Lattner2009-04-141-0/+9
| | | | | | no_inline on objc methods. llvm-svn: 69051
* When calling a function without a prototype for which we have aDouglas Gregor2009-04-021-1/+1
| | | | | | | definition, warn if there are too many/too few function call arguments. llvm-svn: 68318
* Make sure to use RequireCompleteType rather than testing forDouglas Gregor2009-03-241-1/+2
| | | | | | | incomplete types. RequireCompleteType is needed when the type may be completed by instantiating a template. llvm-svn: 67643
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-1/+1
| | | | | | Tests and drivers updated, still need to shuffle dirs. llvm-svn: 67602
* Check that the return type for function definitions is complete.Eli Friedman2009-03-041-0/+2
| | | | llvm-svn: 66027
* Improve merging of function declarations. Specifically:Douglas Gregor2009-02-241-0/+5
| | | | | | | | | | | | | | | | - When we are declaring a function in local scope, we can merge with a visible declaration from an outer scope if that declaration refers to an entity with linkage. This behavior now works in C++ and properly ignores entities without linkage. - Diagnose the use of "static" on a function declaration in local scope. - Diagnose the declaration of a static function after a non-static declaration of the same function. - Propagate the storage specifier to a function declaration from a prior declaration (PR3425) - Don't name-mangle "main" llvm-svn: 65360
* Note the Radar number that corresponds to PR3137Douglas Gregor2009-02-041-1/+1
| | | | llvm-svn: 63754
* Test for PR3137.Eli Friedman2009-02-041-0/+10
| | | | llvm-svn: 63749
* Handle any undeclared parameters in a K&R-style function with aDouglas Gregor2009-01-231-0/+4
| | | | | | | | | special action, inside function prototype scope. This avoids confusion when we try to inject these parameters into the scope of the function body before the function itself has been added to the surrounding scope. Fixes <rdar://problem/6097326>. llvm-svn: 62849
* Merge function-return.c into function.cChris Lattner2008-12-181-0/+7
| | | | | | | Fix PR2790 by making a warning an EXTWARN instead of EXTENSION. Add a new EXTENSION warning for "return (some void expression);" llvm-svn: 61187
* diagnose C99 6.9.1p5, C arguments in definitions that are lackingChris Lattner2008-12-171-0/+3
| | | | | | a name. This implements PR3208. llvm-svn: 61127
* Make all the 'redefinition' diagnostics more consistent, and make the Chris Lattner2008-11-231-4/+4
| | | | | | "previously defined here" diagnostics all notes. llvm-svn: 59920
* Fix handling of implicit int, resolving PR2012 and reverting (andChris Lattner2008-04-051-1/+1
| | | | | | subsuming) my patch for PR1999. llvm-svn: 49251
* Fix PR2042. One remaining issue: we don't currently diagnoseChris Lattner2008-02-171-0/+4
| | | | | | | | | int foobar(int); int foobar() {} which requires ifdef'ing out a testcase in predefined-function.c. llvm-svn: 47236
* Get rid of outdated code that masks type errors. Fixes PR2036.Eli Friedman2008-02-151-0/+2
| | | | llvm-svn: 47154
* Fix PR1999, by emitting a hard error only if an argument declarator is ↵Chris Lattner2008-02-101-5/+5
| | | | | | | | | completely missing. Otherwise, it is an implicit int case, which is valid in c90 and invalid elsewhere, but accepted as an extension. llvm-svn: 46938
* Fix a bogus testChris Lattner2008-01-311-0/+10
| | | | llvm-svn: 46602
* Tighten up ASTContext::typesAreCompatible()...it needs to make sure the ↵Steve Naroff2008-01-291-1/+4
| | | | | | | | qualifiers match. The comment and C99 citation for this routine were correct...the code needed to conform to the comment/spec. This fixes the test added below. Tightening up this routine forced tweaks to Sema::CheckSubtractionOperands() and Sema::CheckCompareOperands(). For example, they both need to operate on the unqualified pointee... llvm-svn: 46522
* Fix bz1950. ASTContext::functionTypesAreCompatible() needs to operate on the ↵Steve Naroff2008-01-291-0/+3
| | | | | | unqualified parameter types (per C99 6.7.5.3p15). llvm-svn: 46472
* Fix ASTContext::typesAreCompatible when analyzing a function type with Chris Lattner2008-01-141-0/+4
| | | | | | | proto and function type without proto. It would never call 'functionTypesAreCompatible' because they have different type classes. llvm-svn: 45952
* When promoting array to pointer for argument, don't lose type qualifiers.Chris Lattner2008-01-021-0/+5
llvm-svn: 45510
OpenPOWER on IntegriCloud