2008-01-16 |
Ted Kremenek | Fixed broken bitmasking in the ctor of ProgramPoint. |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Added missing call to the checker's Initialize() method... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Added missing ctor to ExplodedGraph. |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Fixed incorrect pointer mask. |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Shortened driver option for running the GR-constants... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Add missing header file for GRConstants analysis. |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Hooked up the GRConstants analysis to the driver. |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | More cleanups in DoStmt. The NodeSets are now vectors... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Steve Naroff | Sema::MergeFunctionDecl()...make sure diagnostic is... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Adjusted DSPtr::Profile method again, since my last... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Changed 'Profile' method for DSPtr to incorporate the... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Ted Kremenek | Renamed some internal classes for the GR-Constant Propa... |
commit | commitdiff | tree | snapshot |
2008-01-16 |
Fariborz Jahanian | Typo. |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Fariborz Jahanian | Added support for rewriting of continue/break statement... |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Ted Kremenek | Added skeleton implementation of new constant-prop... |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Ted Kremenek | Added ctor to GRNodeBuilder. |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Steve Naroff | Finish up handling all permutations of "complex int... |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Steve Naroff | - Change Type::isComplexType() to exlude GCC's complex... |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Chris Lattner | avoid pasting L + "foo" into L"foo". |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Chris Lattner | avoid token pasting between identifiers and wide strings: |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Steve Naroff | Add a comment... |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Steve Naroff | Rework commit r45976, which was incorrect. |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Ted Kremenek | Removed implicit transitions to a "BlockExit" location... |
commit | commitdiff | tree | snapshot |
2008-01-15 |
Ted Kremenek | Removed mutation of CFGBlock through operator[]. For... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Steve Naroff | Make sure Sema::GetTypeForDeclarator() deals with abstr... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | Added prototype implementation of path-sens. analysis... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | Added operator[] for CFGBlock. This provides random... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Chris Lattner | Fix build issue on cygwin, patch by Sam Bishop |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Steve Naroff | Teach Type::isIntegerType() about GCC's __complex__... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Steve Naroff | Fix crasher when redefining functions. Not 100% pleased... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | Cleaned up comment. |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | Cleaned up comment. |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | When serializing CompoundLiteralExpr, serialize out... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Steve Naroff | Record if a compound literal expression is @ file scope... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | Removed 'inline' keywords from methods now defined... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Ted Kremenek | Change uses of std::cerr/std::cout to llvm::Lcerr/llvm... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Steve Naroff | Revert r45951, Chris says it violates the C99 spec. |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Anders Carlsson | _asm is another valid alias for asm. |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Anders Carlsson | Add codegen upport for implicit casts to aggregate... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Chris Lattner | add a note |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Chris Lattner | Fix ASTContext::typesAreCompatible when analyzing a... |
commit | commitdiff | tree | snapshot |
2008-01-14 |
Steve Naroff | Rewrite Expr::isNullPointerConstant() to deal with... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Steve Naroff | Change Sema::CheckAddressOfOperation() to respect C99... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Moved destructor logic of templated class ExplodedGraph... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Added node cleanup to dstor of ExplodedGraph. |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Created ExplodedGraph.cpp and moved most method impleme... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Moved 'ExplodedNodeGroup' into class 'ExplodedNode... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Fixed lines preventing compilation. |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Now include "CFG.h" because the inline methods of ... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Fixed some comments. |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Removed ExplodedNode.h, since its contents are now... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Merged ExplodedNode.h into ExplodedGraph.h, since the... |
commit | commitdiff | tree | snapshot |
2008-01-13 |
Ted Kremenek | Changed implementation of successor and predecessor... |
commit | commitdiff | tree | snapshot |
2008-01-12 |
Chris Lattner | allow __func__ in objc methods. |
commit | commitdiff | tree | snapshot |
2008-01-12 |
Chris Lattner | Tighten up handling of __func__ and friends: it should... |
commit | commitdiff | tree | snapshot |
2008-01-12 |
Chris Lattner | Fix the type of predefined identifiers like __func__... |
commit | commitdiff | tree | snapshot |
2008-01-12 |
Chris Lattner | Fix a fixme, by only parsing extern "C" in C++ mode. |
commit | commitdiff | tree | snapshot |
2008-01-12 |
Chris Lattner | Add first pieces of support for parsing and representing |
commit | commitdiff | tree | snapshot |
2008-01-12 |
Chris Lattner | When forming the squigly underline for a diagnostic... |
commit | commitdiff | tree | snapshot |
2008-01-11 |
Ted Kremenek | Fix misspelling of "existent". |
commit | commitdiff | tree | snapshot |
2008-01-11 |
Ted Kremenek | Added ProgramPoint.cpp, which implements several method... |
commit | commitdiff | tree | snapshot |
2008-01-11 |
Ted Kremenek | Renamed ProgramEdge.h to ProgramPoint.h |
commit | commitdiff | tree | snapshot |
2008-01-11 |
Ted Kremenek | Renamed ProgramEdge to ProgramPoint and changed subclas... |
commit | commitdiff | tree | snapshot |
2008-01-11 |
Ted Kremenek | Fixed 80-col violation. |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Avoid redefinition of __objcFastEnumerationState |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Steve Naroff | - Teach Expr::isConstantExpr() about InitListExpr's... |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Recover from user typo not having proper @interface... |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Remove non-ascii chaaracter from diagnostic |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Ted Kremenek | Fixed non-ASCII quote. |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Warn (as gcc does) when @end does not close anything. |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Ted Kremenek | Added some text about the ccc script provided by Sanghy... |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Chris Lattner | add support for the GCC -include option. |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Seo Sanghyeon | Compiler driver |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Chris Lattner | Fix some 80 col violations |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Chris Lattner | Ted apparently likes crazy whitespace at the end of... |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Put return type of synthesize method on same line as... |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Ted Kremenek | Added "InfeasibleEdge" to represent an infeasible state... |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Pass rewritten output to 'clang' for verification. |
commit | commitdiff | tree | snapshot |
2008-01-10 |
Fariborz Jahanian | Allow messaging expression as foreach's collection... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Steve Naroff | Add a FIXME to commit r45784. Thanks mrs! |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Steve Naroff | Fix Sema::ActOnDeclarator() to call MergeFunctionDecl... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Ted Kremenek | Renamed various traits and classes. Added "Infeasible... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Ted Kremenek | Renamed Stmt***Edge and ***StmtEdge (where *** = "Stmt... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Ted Kremenek | Removed some files related to the path-sensitive solver... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Steve Naroff | Fix ASTContext::typesAreCompatible to allow for int... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Steve Naroff | Teach Sema::ActOnCompoundLiteral about constraint C99... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Chris Lattner | Fix isIntegerConstantExpr to compare against zero for... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Chris Lattner | implement proper support for _Bool in memory, which... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Fariborz Jahanian | Type-cast RHS of assignment to prevent warning compilin... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Fariborz Jahanian | Fixed a bug whereby a parethesized collection expressio... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Fariborz Jahanian | Typo fixed. |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Fariborz Jahanian | Another test case for testing rewriteing of nested... |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Fariborz Jahanian | Remove dependency on objc.h |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Steve Naroff | Teach Expr::isConstantExpr() about CompoundLiterals. |
commit | commitdiff | tree | snapshot |
2008-01-09 |
Chris Lattner | Fix a typo, patch by Mike Stump! |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Fariborz Jahanian | Patch to rewrite ObjC2's foreach-stmt. |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Ted Kremenek | Added VISIBILITY_HIDDEN to classes/structs in anonymous... |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Ted Kremenek | Added VISIBILITY_HIDDEN to classes/structs in anonymous... |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Ted Kremenek | Added most of the boilerplate to the driver needed... |
commit | commitdiff | tree | snapshot |
2008-01-08 |
Chris Lattner | readability improvement suggested by Sam Bishop, thanks! |
commit | commitdiff | tree | snapshot |
next |