- 4a0f5f1 Merged ExplodedNode.h into ExplodedGraph.h, since the ExplodedNode class will by Ted Kremenek · 17 years ago
- 46dc4e5 Changed implementation of successor and predecessor sets for ExplodedNode by Ted Kremenek · 17 years ago
- 8f978d5 allow __func__ in objc methods. by Chris Lattner · 17 years ago
- 1423ea4 Tighten up handling of __func__ and friends: it should be an array by Chris Lattner · 17 years ago
- fa28b30 Fix the type of predefined identifiers like __func__. Patch by Eli Friedman! by Chris Lattner · 17 years ago
- 3c6f6a7 Fix a fixme, by only parsing extern "C" in C++ mode. by Chris Lattner · 17 years ago
- c6fdc34 Add first pieces of support for parsing and representing by Chris Lattner · 17 years ago
- e41b7cd When forming the squigly underline for a diagnostic, make sure to by Chris Lattner · 17 years ago
- 3d2da3d Fix misspelling of "existent". Do not use std::cerr; use llvm::cerr instead. by Ted Kremenek · 17 years ago
- 33bfb5c Added ProgramPoint.cpp, which implements several methods of the subclasses by Ted Kremenek · 17 years ago
- a1d44b5 Renamed ProgramEdge.h to ProgramPoint.h by Ted Kremenek · 17 years ago
- 83c01da Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge by Ted Kremenek · 17 years ago
- 80aeaa2 Fixed 80-col violation. by Ted Kremenek · 17 years ago
- 8800742 Avoid redefinition of __objcFastEnumerationState by Fariborz Jahanian · 17 years ago
- d0091aa by Steve Naroff · 17 years ago
- 20552d2 Recover from user typo not having proper @interface decl and a bad foreach decl. by Fariborz Jahanian · 17 years ago
- a12a75f Remove non-ascii chaaracter from diagnostic by Fariborz Jahanian · 17 years ago
- 8c04a4c Fixed non-ASCII quote. by Ted Kremenek · 17 years ago
- 94cdb25 Warn (as gcc does) when @end does not close anything. by Fariborz Jahanian · 17 years ago
- fea89c2 Added some text about the ccc script provided by Sanghyeon Seo. by Ted Kremenek · 17 years ago
- 64299f8 add support for the GCC -include option. by Chris Lattner · 17 years ago
- 2bfa533 Compiler driver by Seo Sanghyeon · 17 years ago
- 4b1daf0 Fix some 80 col violations by Chris Lattner · 17 years ago
- 3a2781c Ted apparently likes crazy whitespace at the end of line. Crush his spirit by by Chris Lattner · 17 years ago
- 531a1ea Put return type of synthesize method on same line as method declaration, space after method declaration header. by Fariborz Jahanian · 17 years ago
- b6d2360 Added "InfeasibleEdge" to represent an infeasible state transition. by Ted Kremenek · 17 years ago
- d577b5e Pass rewritten output to 'clang' for verification. by Fariborz Jahanian · 17 years ago
- 7571228 Allow messaging expression as foreach's collection expression. by Fariborz Jahanian · 17 years ago
- 6f81811 by Steve Naroff · 17 years ago
- ffce4d5 by Steve Naroff · 17 years ago
- 974c676 Renamed various traits and classes. Added "Infeasible" bit to ExplodedNodeImpl by Ted Kremenek · 17 years ago
- bd12969 Renamed Stmt***Edge and ***StmtEdge (where *** = "Stmt" or "Blk") classes to by Ted Kremenek · 17 years ago
- a2f4ef2 Removed some files related to the path-sensitive solver as part of some by Ted Kremenek · 17 years ago
- 4a74678 by Steve Naroff · 17 years ago
- 58d1821 by Steve Naroff · 17 years ago
- c0a356b Fix isIntegerConstantExpr to compare against zero for casts to bool instead of by Chris Lattner · 17 years ago
- 19009e6 implement proper support for _Bool in memory, which is usually i8, not i1. by Chris Lattner · 17 years ago
- 88f50f3 Type-cast RHS of assignment to prevent warning compiling rewritten foreach code. by Fariborz Jahanian · 17 years ago
- 3f76f2a Fixed a bug whereby a parethesized collection expression was not being rewritten correctly. by Fariborz Jahanian · 17 years ago
- e84b040 Typo fixed. by Fariborz Jahanian · 17 years ago
- 7f93ce9 Another test case for testing rewriteing of nested foreach-statement. by Fariborz Jahanian · 17 years ago
- 3886012 Remove dependency on objc.h by Fariborz Jahanian · 17 years ago
- b8f13a8 by Steve Naroff · 17 years ago
- 3830f68 Fix a typo, patch by Mike Stump! by Chris Lattner · 17 years ago
- 33b9c4e Patch to rewrite ObjC2's foreach-stmt. by Fariborz Jahanian · 17 years ago
- c2b51d8 Added VISIBILITY_HIDDEN to classes/structs in anonymous namespaces. by Ted Kremenek · 17 years ago
- 6fa9b88 Added VISIBILITY_HIDDEN to classes/structs in anonymous namespace. by Ted Kremenek · 17 years ago
- e603df4 Added most of the boilerplate to the driver needed to run the graph-reachability by Ted Kremenek · 17 years ago
- 94b3cdb readability improvement suggested by Sam Bishop, thanks! by Chris Lattner · 17 years ago
- b6d54e5 by Steve Naroff · 17 years ago
- 3f51a20 Added nodes_iterator to the GraphTrait for ExplodedNode<>. by Ted Kremenek · 17 years ago
- 5d78cf7 Added GraphTraits<> partial specializations for ExplodedNode<> classes. by Ted Kremenek · 17 years ago
- 7794e2e Relocated comment in header. by Ted Kremenek · 17 years ago
- d25725e Added more boilerplate for processing end-of-paths. by Ted Kremenek · 17 years ago
- ede5a4b Added ownership of "checker state" within the ExplodedGraph. Moved code that by Ted Kremenek · 17 years ago
- 10d24f0 Patch to start rewriting of ObjC2's foreach statement (work in progress). by Fariborz Jahanian · 17 years ago
- c5ae5cf Verify/add code to make sure types passed to interfaceTypesAreCompatible by Fariborz Jahanian · 17 years ago
- 4d73046 Fix a nasty corner case that Neil noticed in PR1900, where we would by Chris Lattner · 17 years ago
- a526c5c Substituted all instances of the string "Objc" for "ObjC". This fixes by Ted Kremenek · 17 years ago
- 8cc71e8 Make interfaceTypesAreCompatible a private method. by Fariborz Jahanian · 17 years ago
- 4241b3d Renamed SimulVertex, SimulGraph, and SimulEngine to: by Ted Kremenek · 17 years ago
- 205712a Minor tweak to serialization of ObjcForCollectionStmt: the three owned pointers by Ted Kremenek · 17 years ago
- 540fc53 Limit type of foreach's element and collection to be a pointer to by Fariborz Jahanian · 17 years ago
- 8ce5da3 Issue diagnostics if more than one declaration in objectove-c's foreach-stmt header. by Fariborz Jahanian · 17 years ago
- d2656dd minor cleanup. by Chris Lattner · 17 years ago
- 6b61602 Fix typo by Nate Begeman · 17 years ago
- bd57d36 rearrange some code. by Chris Lattner · 17 years ago
- 70d67a9 some simplifications/cleanups to ?: sema. by Chris Lattner · 17 years ago
- 5d5d210 Emit warnings like "dereferencing void pointer" instead of trying to by Chris Lattner · 17 years ago
- 29dcc2f twiks based on Chris's comment. No need to iterate thru a list of declarations by Fariborz Jahanian · 17 years ago
- c3b59d3 Moved serialization code for ObjcForCollectionStmt to be in alphabetical order by Ted Kremenek · 17 years ago
- a517e40 Minor refactoring of foreach's semantics code per Chris's suggetion. by Fariborz Jahanian · 17 years ago
- e8b3e96 unnest vector handling again. by Chris Lattner · 17 years ago
- bdd15f7 Added a comment, minor refactoring of foreach parsing code per Chris's suggestion. by Fariborz Jahanian · 17 years ago
- 773a310 we already test for exact type matches early, so we don't have to do by Chris Lattner · 17 years ago
- fc144e2 simplify some of this code by removing the else/if chain and by by Chris Lattner · 17 years ago
- 335a2d4 Minor changes as suggested by Chris L. by Fariborz Jahanian · 17 years ago
- 85a932e move objc expr sema to its own file. by Chris Lattner · 17 years ago
- 9b2f6c4 Fix PR1897, patch by Wilhansen Li by Chris Lattner · 17 years ago
- b7b6115 add comments for the various AssignConvertType's, and split int->pointer from pointer->int. by Chris Lattner · 17 years ago
- 5cf216b Merge all the 'assignment' diagnostic code into one routine, decloning by Chris Lattner · 17 years ago
- 6d9b9e4 fix a build problem where NULL isn't implicitly defined by the headers this file includes. by Chris Lattner · 17 years ago
- 1f990d6 Patch to add semantics check for ObjC2's foreacn statement. by Fariborz Jahanian · 17 years ago
- 4667ac3 generalize some of the conversion warnings. by Chris Lattner · 17 years ago
- c992b4a update for changes in diagnostic strings. by Chris Lattner · 17 years ago
- 2119c48 regroup assignment-related diagnostics, fix a mistake in one. by Chris Lattner · 17 years ago
- bfe639e give better diagnostics for converting between function pointer and void*. by Chris Lattner · 17 years ago
- 58ca5f5 renamed class "GRCP" (Graph Reachabilty Constant Propagation) to by Ted Kremenek · 17 years ago
- 05abf8c Implemented End-Of-Path processing. by Ted Kremenek · 17 years ago
- 7978452 Initial checking of GRConstantPropagation.cpp, which implements a constant by Ted Kremenek · 17 years ago
- 1dcf0a4 Fixed misuse of pointer within SimulVertex::addPredecessor() by Ted Kremenek · 17 years ago
- f3b9212 SimulGraph::getVertex() now also returns a bool indicating if the returned by Ted Kremenek · 17 years ago
- 5156ad8 Constified methods front() and back() in CFGBlock. by Ted Kremenek · 17 years ago
- 02ad1a2 De-constified the pointers returned by the Dst() and Src() methods of by Ted Kremenek · 17 years ago
- e5dc608 Couple more uninitialized before use warning elimination. by Fariborz Jahanian · 17 years ago
- bca14a2 Remove cause of misc. "variable might be used uninitialized in this function" warnings. by Fariborz Jahanian · 17 years ago
- 9d3185e Fixed a bug reported by Chris, involving assiging 0 to a qualified object type. by Fariborz Jahanian · 17 years ago
- 3a57077 simplify the lexer a bit, pulling stuff out of the default case. by Chris Lattner · 17 years ago
- 3ba5a0f Patch to parse/build AST ObjC2's foreach statement. by Fariborz Jahanian · 17 years ago
- c89bf69 fix long lines. by Chris Lattner · 17 years ago