- Mar 13, 2009
-
-
Chris Lattner authored
etc and make freestanding imply it. llvm-svn: 66972
-
Ted Kremenek authored
llvm-svn: 66969
-
Daniel Dunbar authored
llvm-svn: 66968
-
Daniel Dunbar authored
llvm-svn: 66967
-
-
Chris Lattner authored
llvm-svn: 66961
-
Chris Lattner authored
llvm-svn: 66955
-
Chris Lattner authored
llvm-svn: 66954
-
Douglas Gregor authored
llvm-svn: 66951
-
Daniel Dunbar authored
llvm-svn: 66950
-
Douglas Gregor authored
- C++ function casts, e.g., T(foo) - sizeof(), alignof() More importantly, this allows us to verify that we're performing overload resolution during template instantiation, with argument-dependent lookup and the "cached" results of name lookup from the template definition. llvm-svn: 66947
-
Ted Kremenek authored
llvm-svn: 66944
-
Ted Kremenek authored
llvm-svn: 66943
-
Daniel Dunbar authored
llvm-svn: 66942
-
Fariborz Jahanian authored
corresponding to block pointer. llvm-svn: 66940
-
Daniel Dunbar authored
llvm-svn: 66939
-
Daniel Dunbar authored
compatibility with C++ rewrite. llvm-svn: 66938
-
Ted Kremenek authored
to return an owning pointer. llvm-svn: 66934
-
Mike Stump authored
llvm-svn: 66931
-
Ted Kremenek authored
llvm-svn: 66926
-
Douglas Gregor authored
llvm-svn: 66924
-
Douglas Gregor authored
instantiation for binary operators. This change moves most of the operator-overloading code from the parser action ActOnBinOp to a new, parser-independent semantic checking routine CreateOverloadedBinOp. Of particular importance is the fact that CreateOverloadedBinOp does *not* perform any name lookup based on the current parsing context (it doesn't take a Scope*), since it has to be usable during template instantiation, when there is no scope information. Rather, it takes a pre-computed set of functions that are visible from the context or via argument-dependent lookup, and adds to that set any member operators and built-in operator candidates. The set of functions is computed in the parser action ActOnBinOp based on the current context (both operator name lookup and argument-dependent lookup). Within a template, the set computed by ActOnBinOp is saved within the type-dependent AST node and is augmented with the results of argument-dependent name lookup at instantiation time (see TemplateExprInstantiator::VisitCXXOperatorCallExpr). Sadly, we can't fully test this yet. I'll follow up with template instantiation for sizeof so that the real fun can begin. llvm-svn: 66923
-
Daniel Dunbar authored
llvm-svn: 66915
-
Daniel Dunbar authored
- Enough stuff works now we can test argument parsing & pipelining. llvm-svn: 66913
-
Daniel Dunbar authored
llvm-svn: 66912
-
Daniel Dunbar authored
- language recognition was recognizing prefixes incorrectly. - -x none wasn't working. - test for "can lipo" was backwords. - missed a '"' in -ccc-print-phases llvm-svn: 66911
-
Chris Lattner authored
really horrible extensions that are disabled by default but that can be accepted by -fheinous-gnu-extensions (but which always emit a warning when enabled). As our first instance of this, implement PR3788/PR3794, which allows non-lvalues in inline asms in contexts where lvalues are required. bleh. llvm-svn: 66910
-
Chris Lattner authored
llvm-svn: 66909
-
Daniel Dunbar authored
llvm-svn: 66908
-
Daniel Dunbar authored
-ccc-print-options. llvm-svn: 66907
-
Daniel Dunbar authored
llvm-svn: 66906
-
Ted Kremenek authored
llvm-svn: 66905
-
rdar://problem/6675489Steve Naroff authored
Also changed BlockDecl API to be more consistent (wrt FunctionDecl). llvm-svn: 66904
-
Ted Kremenek authored
conditions. Currently the analyzer does not reason well about promotions/truncations of symbolic values, so at branch conditions when we see: if (condition) and condition is something like a 'short' or 'char', essentially ignore the promotion to 'int' so that we track constraints on the original symbolic value. We only ignore the casts if the underlying type has the same or fewer bits as the converted type. This fixes: <rdar://problem/6619921> llvm-svn: 66899
-
rdar://problem/6451399Steve Naroff authored
This solution is much simpler (and doesn't add any per-scope overhead, which concerned Chris). The only downside is the LabelMap is now declared in two places (Sema and BlockSemaInfo). My original fix tried to unify the LabelMap in "Scope" (which would support nested functions in general). In any event, this fixes the bug given the current language definition. If/when we decide to support GCC style nested functions, this will need to be tweaked. llvm-svn: 66896
-
Ted Kremenek authored
llvm-svn: 66894
-
Steve Naroff authored
Remove ActiveScope (revert http://llvm.org/viewvc/llvm-project?view=rev&revision=65694 and http://llvm.org/viewvc/llvm-project?view=rev&revision=66741). Will replace with something better today... llvm-svn: 66893
-
Ted Kremenek authored
is 64-bit. I used his suggestion of doing a direct bitwidth/signedness conversion of the 'offset' instead of just changing the sign. For more information, see: http://lists.cs.uiuc.edu/pipermail/cfe-dev/2009-March/004587.html llvm-svn: 66892
-
Douglas Gregor authored
llvm-svn: 66891
-
Daniel Dunbar authored
llvm-svn: 66889
-