- 768ad16 ValueManager now uses the BumpPtrAllocator owned by the ExplodedGraph. by Ted Kremenek · 17 years ago
- 4c4635c by Devang Patel · 17 years ago
- eae1560 Cleanup InitListExpr code generation code. by Devang Patel · 17 years ago
- 0ded75b Fix memory corruption from the type map being modified while a reference by Eli Friedman · 17 years ago
- 5bfc1a7 Keep track of padding fields. by Devang Patel · 17 years ago
- 0ff9a4d Simplified transfer functions for '++' and '--' by Ted Kremenek · 17 years ago
- f233d48 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 17 years ago
- f66ea2cd Added file that should have been in my previous commit. by Ted Kremenek · 17 years ago
- e070a1d Created ValueStateManager, a full-blown class to manage the states by Ted Kremenek · 17 years ago
- c5d3b4c Implemented transfer function for unary '~'. by Ted Kremenek · 17 years ago
- b41a7d2 Add ending newline to test. by Christopher Lamb · 17 years ago
- ebb97e9 Add experimental support for address space qualified types. Address space by Christopher Lamb · 17 years ago
- 550ce0f - ccc creates output objects in same directory as the source file, and by Bill Wendling · 17 years ago
- 7097d91 Fix PR1966 by ignoring non-error diagnostics from system headers even if they are by Chris Lattner · 17 years ago
- f848454 the macro start and macro end bits in source location are dead, remove them. by Chris Lattner · 17 years ago
- 795aaed Make ccc work with older Python versions. Patch by Sam Bishop. by Seo Sanghyeon · 17 years ago
- 3508084 Implement support for __extension__ which silences extwarnings in its by Chris Lattner · 17 years ago
- 3b1ae00 minor tweak to anders patch: (only) ocu vectors support splatting, but by Chris Lattner · 17 years ago
- 4f45b46 Add RUN line. by Anders Carlsson · 17 years ago
- 3ea740e testcase for previous patch. by Chris Lattner · 17 years ago
- 4957378 fix codegen on static variables which have multiple decl nodes. These by Chris Lattner · 17 years ago
- 49c1f4a by Steve Naroff · 17 years ago
- 27e2eb4 by Steve Naroff · 17 years ago
- 2cec15f Add trailing newline. by Anders Carlsson · 17 years ago
- 79b67f3 Only OCU vectors can be splatted. by Anders Carlsson · 17 years ago
- c0ff1ca by Steve Naroff · 17 years ago
- be4b333 by Steve Naroff · 17 years ago
- 5fd69c3 by Steve Naroff · 17 years ago
- ff98102 For ObjCAtCatchStmt, removed field 'NextAtCatchStmt' (which referenced the next @catch) by Ted Kremenek · 17 years ago
- e12e692 by Steve Naroff · 17 years ago
- 5f0ad3f Moved "Rewriter" tests from test/Sema to test/Rewriter. by Ted Kremenek · 17 years ago
- 478547c Generate correct code for __builtin_huge_val by Anders Carlsson · 17 years ago
- f2a4b84 getPrimaryDecl can return null. by Anders Carlsson · 17 years ago
- 369dee4 It is allowed to get the address of an array subscript, even if the array has the register qualifier, if the array is really a pointer. by Anders Carlsson · 17 years ago
- 6e10a08 make some diagnostics more terse, update testcases. by Chris Lattner · 17 years ago
- fb8cc1d Sema::ActOnInstanceMessage is generally doing bad things with typedefs, but by Chris Lattner · 17 years ago
- 77250c8 Added back 'CodeGen' to test suite (accidentally removed in my last patch). by Ted Kremenek · 17 years ago
- a6e4d21 Implemented casts for ConcreteInt and ConcreteIntLValue. by Ted Kremenek · 17 years ago
- 9415a0c Fix PR1969. stdin has no FileEntry. by Chris Lattner · 17 years ago
- f7682b0 Implement __builtin_huge_val. by Anders Carlsson · 17 years ago
- c720d9b Don't try to compile .a files. by Anders Carlsson · 17 years ago
- 516f91b Added skeleton for new LValue class ConcereteIntLValue. by Ted Kremenek · 17 years ago
- aadaf78 add some helper methods for removing and replacing text, this makes the by Chris Lattner · 17 years ago
- f3dd57e Add a new InsertText method that does the check to see if the insertion was valid. This by Chris Lattner · 17 years ago
- 9e13c2e move a large method out of line by Chris Lattner · 17 years ago
- dcbc5b0 Make rewriter::inserttext return a bool to indicate if it failed. by Chris Lattner · 17 years ago
- a90ccfe Moved RValue code in GRConstants.cpp to RValue.[h,cpp]. by Ted Kremenek · 17 years ago
- d1a7cf8 by Steve Naroff · 17 years ago
- 0e82d72 Implement review feedback. Use getAsPointerType instead of cast<PointerType>. by Lauro Ramos Venancio · 17 years ago
- 4af8431 Fixed misspelling of "LLVM" due to some editor+Ted madness. by Ted Kremenek · 17 years ago
- e0e713b Fix PR1965: missing diagnostics for parameters that are missing by Chris Lattner · 17 years ago
- 868d08f Fix a bogus test by Chris Lattner · 17 years ago
- 796ef3d Remainder of the __builtin_overload feedback by Nate Begeman · 17 years ago
- 338d1e2 Fix a rewriter crash when the whole body of a foreach is itself by Chris Lattner · 17 years ago
- 6860f3c Fix PR1921 by promoting negative indices to intptrty. by Chris Lattner · 17 years ago
- 6492485 Added transfer function support for unary '&' and '*', providing basic by Ted Kremenek · 17 years ago
- bcba201 Make CallExpr::isBuiltinConstantExpr slightly more efficient. by Anders Carlsson · 17 years ago
- c4f8e8b by Steve Naroff · 17 years ago
- 4150abf Added 'SymbolicLValue' class to represent LValues whose value is symbolic. by Ted Kremenek · 17 years ago
- 4c49a6c by Steve Naroff · 17 years ago
- 3b4f670 We now delay adding nodes created by GRBranchNodeBuilder to the analysis by Ted Kremenek · 17 years ago
- b38911f Implemented some branch pruning in GRConstants using != and == for by Ted Kremenek · 17 years ago
- a292585 Added method "printTerminator" to CFGBlock so that external clients can by Ted Kremenek · 17 years ago
- 890d93e by Steve Naroff · 17 years ago
- 5bfe18c getLLVMFieldNo can't be called before emitting the base value. by Lauro Ramos Venancio · 17 years ago
- 8df106e A pointer to an opaque type is an "opaque type definition". by Lauro Ramos Venancio · 17 years ago
- 9d49395 On an unexpected @foo keyword, return failure instead of a 'successful' null AST. This fixes a segfault by Chris Lattner · 17 years ago
- 67295d0 Implement first round of feedback on __builtin_overload by Nate Begeman · 17 years ago
- bd144b7 Typo. by Fariborz Jahanian · 17 years ago
- f69cc5d by Steve Naroff · 17 years ago
- 6753fe3 Minor cosmetic cleanups: replaced some integer literals with constants and by Ted Kremenek · 17 years ago
- 6c751c2 Add TODO marker so that it is easier to search. by Devang Patel · 17 years ago
- 4ca0867 Ignore __aligned__ with zero arguments in addition to __aligned__ with by Eli Friedman · 17 years ago
- 78a677b Fixed misc. issues raised by Chris L. on @synchronized implementation. by Fariborz Jahanian · 17 years ago
- b1284ac Fix codegen for conditionals with incommpatible pointer types. Code by Eli Friedman · 17 years ago
- 01e3c9e fix a problem reported by Eli, caused by not keeping bool as i1 by Chris Lattner · 17 years ago
- e0c5414 make this pass by adding an expected error, add some tests. by Chris Lattner · 17 years ago
- 3fd1dfa Eli points out this can only happen for scalar elements. by Chris Lattner · 17 years ago
- 196ef51 Be more explicit about what flavors of initlistexpr's we can see. I don't by Chris Lattner · 17 years ago
- db6ed17 move some constructors out of line and fix indentation in ObjCAtThrowStmt::getSourceRange. by Chris Lattner · 17 years ago
- 5193b8a Make sure to emit all the arguments to a function call. This fixes the by Eli Friedman · 17 years ago
- b7b032e by Steve Naroff · 17 years ago
- 52a1649 Added method "markInfeasible" to GRBranchNodeBuilder to disable the by Ted Kremenek · 17 years ago
- 71c29bd Implemented more boilerplate in GREngine for processing branches. Now by Ted Kremenek · 17 years ago
- 45c63bd Fixed bit-setting bug for ExplodedNodeImpl::NodeGroup. by Ted Kremenek · 17 years ago
- 47fb697 Handle incomplete struct initializer. by Devang Patel · 17 years ago
- a0f5579 Rewriting of @synchronized. This has one FIXME in it. But this should allow @sychronized to be rewritten. by Fariborz Jahanian · 17 years ago
- 7d7fe6d Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 17 years ago
- f4b7a69 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 17 years ago
- 0370167 Minor fix in transfer function of '!=' where a 'false' literal should by Ted Kremenek · 17 years ago
- b7e6bd7 - Hooked up deserialization of ObjCAtSynchronizedStmt Stmt::Create(). by Ted Kremenek · 17 years ago
- 687af80 Added preliminary transfer function support for '==' and '!='. by Ted Kremenek · 17 years ago
- fa3ee8e AST for @synchronized. by Fariborz Jahanian · 17 years ago
- 2565eef by Steve Naroff · 17 years ago
- c385c90 Bunch of type defs, etc. for @synchronized. by Fariborz Jahanian · 17 years ago
- 356916e Fix a bug where CodeGen would attempt to erase an instruction that was by Eli Friedman · 17 years ago
- 68fd257 Added "SymbolManager", which manages the set of symbolic values used by Ted Kremenek · 17 years ago
- 5a1deb8 Implement __builtin_offsetof. by Anders Carlsson · 17 years ago
- 12fe558 fix comment typo by Chris Lattner · 17 years ago
- 73bd901 add diagnostic by Chris Lattner · 17 years ago