summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
* Driver: Handle -Xarch_, including warning for nasty -Xarch_ use casesDaniel Dunbar2009-03-251-2/+41
| | | | | | | we aren't going to support. For example: clang -Xarch_i386 -S -Xarch_i386 -o -Xarch_i386 myi386asm.s ... llvm-svn: 67680
* Driver: Replace Option::ForwardToGCC by Option::DriverOption (whichDaniel Dunbar2009-03-252-7/+2
| | | | | | matches the flag in Options.def). llvm-svn: 67679
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-255-27/+80
| | | | | | | | representing symbolic expressions like 'x'+3 and 'x'+'y'. The design is subjected to change later when we fix the class hierarchy of symbolic expressions. llvm-svn: 67678
* Driver: Fix typo in JoinedAndSeparateArg::render.Daniel Dunbar2009-03-251-1/+1
| | | | llvm-svn: 67677
* Driver: Prep for tool chain specific argument translation.Daniel Dunbar2009-03-257-79/+112
| | | | | | | | | | | | | | | | - Lift ArgList to a base class for InputArgList and DerivedArgList. - This is not a great decomposition, but it does embed the translation into the type system, and keep things efficient for tool chains that don't want to do any translation. - No intended functionality change. Eventually I hope to get rid of tool chain specific translation and have each tool do the right thing, but for now this is the easiest way to match gcc precisely (which is good for testing). llvm-svn: 67676
* simplify some conditionals, don't copy LangOptions.Chris Lattner2009-03-251-11/+15
| | | | llvm-svn: 67674
* gcc 4.3 finds my use of ^ suspicious.Daniel Dunbar2009-03-251-1/+1
| | | | llvm-svn: 67673
* Improve handling of base initializers. We now parse initializers in out of ↵Anders Carlsson2009-03-253-1/+19
| | | | | | | | | | | | | | | | | | | | | | line decls, such as: class C { C() { } int a; }; C::C() : a(10) { } We also diagnose when initializers are used on declarations that aren't constructors: t.cpp:1:10: error: only constructors take base initializers void f() : a(10) { } ^ Doug and/or Sebastian: I'd appreciate a review, especially the nested-name-spec test results (from the looks of it we now match gcc in that test.) llvm-svn: 67672
* Turn on -analyzer-eagerly-assume by default when using 'clang-cc' to performTed Kremenek2009-03-251-0/+1
| | | | | | static analysis. llvm-svn: 67665
* Template instantiation for conversion functionsDouglas Gregor2009-03-251-0/+31
| | | | llvm-svn: 67664
* Move template instantiation for expressions into a separate fileDouglas Gregor2009-03-253-401/+417
| | | | llvm-svn: 67660
* In Parser::ParseClassSpecifier, don't conflate a NULL declaration withDouglas Gregor2009-03-253-34/+32
| | | | | | | | failure to perform a declaration. Instead, explicitly note semantic failures that occur during template parsing with a DeclResult. Fixes PR3872. llvm-svn: 67659
* Parse deleted function definitions and hook them up to Doug's machinery.Sebastian Redl2009-03-243-9/+36
| | | | llvm-svn: 67653
* Encode language.Devang Patel2009-03-241-4/+15
| | | | llvm-svn: 67650
* Type::isObjectType now implements the (more sensible) C++ definitionDouglas Gregor2009-03-244-9/+8
| | | | | | | | | | | | | | | | | | of "object type" rather than the C definition of "object type". The difference is that C's "object type" excludes incomplete types such as struct X; However, C's definition also makes it far too easy to use isObjectType as a means to detect incomplete types when in fact we should use other means (e.g., Sema::RequireCompleteType) that cope with C++ semantics, including template instantiation. I've already audited every use of isObjectType and isIncompleteType to ensure that they are doing the right thing for both C and C++, so this is patch does not change any functionality. llvm-svn: 67648
* Driver: Handle -flto, -O4, and tweak -emit-llvm to match llvm-gcc.Daniel Dunbar2009-03-242-5/+15
| | | | | | | | | | | | - -emit-llvm no longer changes what compilation steps are done. - -emit-llvm and -emit-llvm -S write output files with .o and .s suffixes, respectively. - <rdar://problem/6714125> clang-driver should support -O4 and -flto, like llvm-gcc llvm-svn: 67645
* Fix a few isObjectTypes that really need to be isIncompleteOrObjectDouglas Gregor2009-03-244-17/+15
| | | | | | types; add another use of RequireCompleteType. llvm-svn: 67644
* Make sure to use RequireCompleteType rather than testing forDouglas Gregor2009-03-243-125/+152
| | | | | | | incomplete types. RequireCompleteType is needed when the type may be completed by instantiating a template. llvm-svn: 67643
* Driver: Warn when 'clang' is used to compile a source file we couldDaniel Dunbar2009-03-241-3/+9
| | | | | | conceivably handle, but are defaulting to not using clang for. llvm-svn: 67641
* Driver: Change default use of "clang" compiler.Daniel Dunbar2009-03-241-12/+18
| | | | | | | | | | | | | | | | | | | | | | - Don't default to using clang for C++ (use -ccc-clang-cxx to override). - Default to only using clang on i386 and x86_64 (use -ccc-clang-archs "" to override). - <rdar://problem/6712350> [driver] clang should not be used on powerpc by default - <rdar://problem/6705767> driver should default to -ccc-no-clang-cxx I plan to add a warning that we are not using the clang compiler for the given compilation so that users do not think clang is being used in situations it isn't. This change is motivated by the desire to be able to drop clang into a build and have things "just work", even if it happens to get used to compile C++ code or code for an architecture we don't support yet. llvm-svn: 67640
* Move ToolChain::ShouldUseClangCompiler toDaniel Dunbar2009-03-243-30/+29
| | | | | | | Driver::ShouldUseClangCompiler. - No functionality change. llvm-svn: 67639
* Driver: Translate -fverbose-asm for LLVM backend.Daniel Dunbar2009-03-241-1/+1
| | | | | | | - <rdar://problem/6715707> driver should translate -fverbose-asm into -asm-verbose llvm-svn: 67634
* Really fix cmake style builds.Mike Stump2009-03-243-1/+7
| | | | llvm-svn: 67633
* Driver: Result files shouldn't be removed on failure when -save-tempsDaniel Dunbar2009-03-241-1/+1
| | | | | | | | is specified. - No easy way to make a safe test case for this (given where the driver is supposed to put temp files). llvm-svn: 67632
* Driver: ArgList::getLastArg was in fact returning the first matching arg.Daniel Dunbar2009-03-241-3/+1
| | | | | | | - <rdar://problem/6715818> clang doesn't honor gcc semantic that last -O optimization option wins. llvm-svn: 67628
* Fix the bug that Eli noticed where we wouldn't look at function decls ↵Anders Carlsson2009-03-242-22/+47
| | | | | | outside the class declaration. llvm-svn: 67627
* improve error recovery for when type parsing fails.Chris Lattner2009-03-241-1/+5
| | | | llvm-svn: 67626
* fix "Comment#1" from PR3872Chris Lattner2009-03-241-1/+1
| | | | llvm-svn: 67625
* random cleanups.Chris Lattner2009-03-242-18/+23
| | | | llvm-svn: 67624
* Template instantiation for constructorsDouglas Gregor2009-03-242-0/+54
| | | | llvm-svn: 67623
* change the __VERSION__ string to be more sensible. It would be useful to ↵Chris Lattner2009-03-241-2/+1
| | | | | | include the clang version # too. llvm-svn: 67619
* Driver: Forward -MMD (not -MM) to clang-cc; this got lost inDaniel Dunbar2009-03-241-1/+1
| | | | | | translation, the former we support, the later we don't (yet). llvm-svn: 67611
* Install clang-cc to libexec/clang-cc (instead of bin/clang-cc).Daniel Dunbar2009-03-241-0/+8
| | | | | | - Updated ccc & driver to look in libexec/ for tools. llvm-svn: 67607
* Support member reference on ?: of struct type.Daniel Dunbar2009-03-242-0/+21
| | | | llvm-svn: 67603
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-1/+1
| | | | | | Tests and drivers updated, still need to shuffle dirs. llvm-svn: 67602
* Handle pointers to arrays of abstract types.Anders Carlsson2009-03-241-0/+9
| | | | llvm-svn: 67598
* More work on diagnosing abstract classes. We can now handle cases likeAnders Carlsson2009-03-245-14/+75
| | | | | | | | | | | | class C { void g(C c); virtual void f() = 0; }; In this case, C is not known to be abstract when doing semantic analysis on g. This is done by recursively traversing the abstract class and checking the types of member functions. llvm-svn: 67594
* Fix PR3868 by making Evaluate handle cases like "(long)&a + 4".Eli Friedman2009-03-241-6/+27
| | | | llvm-svn: 67593
* Cleanup template instantiation for methods, destructorsDouglas Gregor2009-03-241-53/+107
| | | | llvm-svn: 67585
* Driver: lipo wasn't being called correctly (translation failure fromDaniel Dunbar2009-03-241-0/+3
| | | | | | ccc due to the different way we handle output arguments). llvm-svn: 67583
* Template instantiation for destructors. This is somewhat repetitive;Douglas Gregor2009-03-241-1/+43
| | | | | | eliminating the duplication is next on the list. llvm-svn: 67579
* Fix the ABI convention for struct returns on x86 outside of Darwin.Eli Friedman2009-03-231-1/+9
| | | | llvm-svn: 67577
* Another use of adjustParameterType. Plus, GetTypeForDeclarator willDouglas Gregor2009-03-231-8/+2
| | | | | | | | always get ParmVarDecls with already-adjusted types. Assert it. Thanks, Anders! llvm-svn: 67576
* Template instantiation for the declarations of member functions withinDouglas Gregor2009-03-234-158/+289
| | | | | | | | | | | | | | | | | | | | | | a class template. At present, we can only instantiation normal methods, but not constructors, destructors, or conversion operators. As ever, this contains a bit of refactoring in Sema's type-checking. In particular: - Split ActOnFunctionDeclarator into ActOnFunctionDeclarator (handling the declarator itself) and CheckFunctionDeclaration (checking for the the function declaration), the latter of which is also used by template instantiation. - We were performing the adjustment of function parameter types in three places; collect those into a single new routine. - When the type of a parameter is adjusted, allocate an OriginalParmVarDecl to keep track of the type as it was written. - Eliminate a redundant check for out-of-line declarations of member functions; hide more C++-specific checks on function declarations behind if(getLangOptions().CPlusPlus). llvm-svn: 67575
* Deallocate 'DeclRefExpr's in correctly formed '#pragma unused'Ted Kremenek2009-03-231-0/+1
| | | | llvm-svn: 67573
* Implement '#pragma unused'.Ted Kremenek2009-03-235-7/+145
| | | | llvm-svn: 67569
* Driver: Make argument parsing fast.Daniel Dunbar2009-03-231-13/+32
| | | | | | | | | | | On a synthetic command line consisting of almost all defined options, this drops wall time from .00494 to .00336 and user time from .00258 to .00105. On the same benchmark, clang-driver is about 15% faster than the primary gcc driver and almost twice as fast as the gcc driver driver. llvm-svn: 67564
* Driver: Fix off by one in computation of first searchable option.Daniel Dunbar2009-03-231-1/+1
| | | | llvm-svn: 67552
* Must allow for strong cast of floats as well (objc2 gc).Fariborz Jahanian2009-03-231-17/+50
| | | | llvm-svn: 67551
* More improvements to abstract type checking. Handle arrays correctly, and ↵Anders Carlsson2009-03-233-6/+14
| | | | | | make sure to check parameter types before they decay. llvm-svn: 67550
OpenPOWER on IntegriCloud