- 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
- 71a3a8d Fix a bug where we would incorrectly emit a "cannot paste" error by Chris Lattner · 17 years ago
- 0493025 Use the canonical type when comparing array types so the comparison by Eli Friedman · 17 years ago
- d125bb1 Improvements to ccc. Patch by Shantonu Sen. by Anders Carlsson · 17 years ago
- 65cac13 Fixed bug where not all dead subexpressions were being pruned from the analysis by Ted Kremenek · 17 years ago
- bffaa83 Modified LiveVariables to perform all of its base initialization in the ctor, by Ted Kremenek · 17 years ago
- b3c2b88 by Steve Naroff · 17 years ago
- ce6237e Handle binary or in constant expressions. by Anders Carlsson · 17 years ago
- a3881fc Correctly handle constants that refer to enums. by Anders Carlsson · 17 years ago
- f6884ac Correctly handle scalars in braces. by Anders Carlsson · 17 years ago
- ff6e3c5 Added skeleton code for tracking the values of function parameters. by Ted Kremenek · 17 years ago
- cb48b9c Driver now passes the top-level FunctionDecl* to GRConstants. by Ted Kremenek · 17 years ago
- ba03eda by Steve Naroff · 17 years ago
- 403c181 Added RValue class "UninitializedValue". by Ted Kremenek · 17 years ago
- 10099a6 Added transfer function logic for "%=" operator. by Ted Kremenek · 17 years ago
- cce207d Added transfer function hookups for "modulo" operator. by Ted Kremenek · 17 years ago
- f264562 Minor tweaking with hierarchy of NonLValue objects: SymbolValue is by Ted Kremenek · 17 years ago
- bd03f1d Some additional cleanups with method names. by Ted Kremenek · 17 years ago
- 7dd0bd4 by Steve Naroff · 17 years ago
- 0113c9d by Steve Naroff · 17 years ago
- 578edc6 by Steve Naroff · 17 years ago
- e988bc2 Make -o work with -E, patch contributed by Shantonu Sen! by Chris Lattner · 17 years ago
- 84005b4 Tweaks to EmitLValue in CGExprConstant. Patch by Eli Friedman. by Anders Carlsson · 17 years ago
- e3d3b7d Add CodeGen for AddrOf in constant initializers. Original patch by Eli Friedman. by Anders Carlsson · 17 years ago
- 3b1d57b Factor out the constant generation into its own file. by Anders Carlsson · 17 years ago
- 33d4aab Added back logic in patch r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) with the addition of by Ted Kremenek · 17 years ago
- 5c1e262 Implemented transfer function for '/='. by Ted Kremenek · 17 years ago
- cc1c365 Further refactoring of transfer functions by having APSIntSetOp take by Ted Kremenek · 17 years ago
- e2dcd78 Reverting r46361 (http://llvm.org/viewvc/llvm-project?rev=46361&view=rev) until by Ted Kremenek · 17 years ago
- 5ee4ff8 Renamed RValueDisjunctiveEqual to RValEqualityORSet. by Ted Kremenek · 17 years ago
- d6326c6 by Steve Naroff · 17 years ago
- ef20c11 Fixed 80 col. violation. by Ted Kremenek · 17 years ago
- 2cd65c8 Renamed RValueMayEqualSet to RValueDisjunctiveEqual. by Ted Kremenek · 17 years ago
- 5c74942 Add support for dispatching an objc message to a variable by Chris Lattner · 17 years ago
- da46f3b First half of a fix for the "objc message send in initializer" bug. This only by Chris Lattner · 17 years ago
- 14dd98a Factor a complex predicate out to a helper method. by Chris Lattner · 17 years ago
- bf75538 fix isIntegerConstantExpr evaluation of unary !. by Chris Lattner · 17 years ago
- 699b661 split the second half of ParseObjCMessageExpression into a new by Chris Lattner · 17 years ago
- 5ac87ed remove an implemented todo by Chris Lattner · 17 years ago
- 7accba0 When adding assignment expressions to the set of block-level expressions, only by Ted Kremenek · 17 years ago
- 1dad5b2 Diagnose bad receiver type. by Fariborz Jahanian · 17 years ago
- 96b99f7 Implement -print-prog-name. Patch by Nuno Lopes. by Seo Sanghyeon · 17 years ago
- d47d4f5 Support checking and codegen of constant vector globals by Nate Begeman · 17 years ago
- a996033 by Steve Naroff · 17 years ago
- 0cbc215 Fix a bug recovering from broken code with a goto that Eli reported. by Chris Lattner · 17 years ago
- 09cf90f Change the location we return for the EOF token to actually be on the last by Chris Lattner · 17 years ago
- 1309992 Don't add an extra line to the end of the buffer, it doesn't really exist. by Chris Lattner · 17 years ago
- f13794e Some minor restructuring around LValue and RValue types. The value "kind" by Ted Kremenek · 17 years ago
- 9412d68 by Steve Naroff · 17 years ago
- 565256e enum value name change. by Ted Kremenek · 17 years ago
- 9ff731d More cleanups to pretty-printing of states in GraphViz output. by Ted Kremenek · 17 years ago
- 9de04c4 Added transfer function for DeclStmt. by Ted Kremenek · 17 years ago
- 5c1b996 Adjusted storage of values for Stmt* so that we need only query if by Ted Kremenek · 17 years ago
- daadf45 Fixed a bug where the values of block-level expressions were being recorded in by Ted Kremenek · 17 years ago
- e0cf9c8 Minor tweaks in the transfer functions for pre- and post- ++/-- where by Ted Kremenek · 17 years ago
- dacbb4f Added support for unary operator '-' for equality sets. by Ted Kremenek · 17 years ago
- 7b8009a Added transfer functions for pre- and post- increment/decrement operators. by Ted Kremenek · 17 years ago
- 874d63f Added passing "ASTContext" to both GREngine and GRConstants. by Ted Kremenek · 17 years ago
- 671c9e8 Minor tweak in GetValue to avoid an extra check for ParenExprs. by Ted Kremenek · 17 years ago
- 2eafd0e Implemented value tracking support for '*' and '*='. by Ted Kremenek · 17 years ago
- b4ae33f Implemented value tracking support for '+=' and '-='. by Ted Kremenek · 17 years ago
- d3c25dd add some assertions so that the rewriter dies violently with a useful by Chris Lattner · 17 years ago
- 8cc09d5 Removed extra GraphViz node attributes for GRConstants, as some of them were by Ted Kremenek · 17 years ago
- 803c9ed some prettying of the GraphViz visualization of GRConstants analysis results. by Ted Kremenek · 17 years ago
- 7da8d94 Fixed a nasty bug which took a while to come up with a test case, by Fariborz Jahanian · 17 years ago
- ab2b8c5 Major "architectural" changes to the GRConstants analysis. We now reason about by Ted Kremenek · 17 years ago
- 116a4b1 add support for -Wundef. by Chris Lattner · 17 years ago
- 269b10d Missing ObjC stuff. Patch by Mike Stump. by Fariborz Jahanian · 17 years ago
- 7d6b46d Problem with ObjC's type-encoding of nested structs causing infinit recursion. by Fariborz Jahanian · 17 years ago