- 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
- 6553982 Fix a typo. by Lauro Ramos Venancio · 17 years ago
- a0c5d0e Implement bitfield write. by Lauro Ramos Venancio · 17 years ago
- 3b8c22d Implement bitfield read. by Lauro Ramos Venancio · 17 years ago
- c21d9e4 Fix PR1936, a crash on malformed #if. Thanks to Neil for noticing this! by Chris Lattner · 17 years ago
- 9e18d3e Fix two bugs in bitfield codegen. by Lauro Ramos Venancio · 17 years ago
- c62f489 Fix grammar. by Gordon Henriksen · 17 years ago
- 09dec59 clarify wording. by Chris Lattner · 17 years ago
- a49e1fa by Steve Naroff · 17 years ago
- ca10730 Sema::CheckInitializerTypes(). Start simpliying and cleaning up... by Steve Naroff · 17 years ago
- 397cbf2 Add Ubuntu 7.10 include path. by Lauro Ramos Venancio · 17 years ago
- 2338d58 Elimate bogus warning when va_start is correctly used in a method. by Fariborz Jahanian · 17 years ago
- 5c06a69 by Steve Naroff · 17 years ago
- 2c46ce8 Simplify the bitfield codegen. by Lauro Ramos Venancio · 17 years ago
- 7c39ff7 Synthesize methods with va-arg list correctly. by Fariborz Jahanian · 17 years ago
- e0e3abc Fix the __SIZE_TYPE__ definition on x86_32. This fixes the alloca.c (wget 1.10.2) compilation. by Lauro Ramos Venancio · 17 years ago
- af57b46 Fixed comment. by Fariborz Jahanian · 17 years ago
- 20ebf8f by Steve Naroff · 17 years ago
- 452b899 Patch to replace #import with #include. by Fariborz Jahanian · 17 years ago
- a15c15a Add Basic/Targets.cpp to the Xcode project... by Steve Naroff · 17 years ago
- 9a75f8a by Steve Naroff · 17 years ago
- a46b759 Assert that the type of the cast is equal to the _unqualified_ type of the subexpression. Fixes a problem spotted by Nuno Lopes. by Anders Carlsson · 17 years ago
- b4b2f0c Insert #pragma once when rewriting a header file. by Fariborz Jahanian · 17 years ago
- f84469b Fixed bug in 'GetBinding' when doing the lookup of stored values. We now by Ted Kremenek · 17 years ago
- 2a9da9c Fixed bug in 'LiveVariables' analysis where we incorrectly marked a variable by Ted Kremenek · 17 years ago
- d3cd1e5 by Steve Naroff · 17 years ago
- 51f5499 Changed DataflowSolver to always associated recorded dataflow values with by Ted Kremenek · 17 years ago
- 8694674 Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This by Ted Kremenek · 17 years ago
- 7c453b3 Don't ICE on missing interface declaration when declaring one of its protocols. by Fariborz Jahanian · 17 years ago
- 2c0f01a by Steve Naroff · 17 years ago
- 79649df Added support to dataflow solver to (when requested) also record dataflow by Ted Kremenek · 17 years ago
- eed5058 Match change in EmitCallExpr by Nate Begeman · 17 years ago
- 104a8c0 Fix for EmitCallExpr changed in OverloadExpr patch by Nate Begeman · 17 years ago
- 32e97b6 Fixed typo introduced by r46133 that caused -Wfloat-equal to break. by Ted Kremenek · 17 years ago
- 5e2b609 Removed FindDeclRef, and used Expr::IgnoreParens instead (code refactoring). by Ted Kremenek · 17 years ago
- e2ce1d9 Implement basic overload support via a new builtin, __builtin_overload. by Nate Begeman · 17 years ago
- faf5e77 Renamed getSynthesizedSelectorSize to getSynthesizedMethodSize. Compute method name by Fariborz Jahanian · 17 years ago
- 4e99a5f Added method Expr::IgnoreParens(), which returns the first non-ParenExpr Expr*. by Ted Kremenek · 17 years ago
- 847794a Computed length of a __func__ identifier used in an objective-c method correctly, by Fariborz Jahanian · 17 years ago
- 4259955 Ignore --param by Seo Sanghyeon · 17 years ago
- e00fe3f Added some experimental optimizations to remove dead values from the state. by Ted Kremenek · 17 years ago
- 1b4a622 by Steve Naroff · 17 years ago
- 494783a by Steve Naroff · 17 years ago
- 67c49e8 by Steve Naroff · 17 years ago
- e3d7c24 Changed sorting criteria for DSPtr to put sub-expressions first in the value by Ted Kremenek · 17 years ago
- b3d2dca Changed sorting criteria for DSPtr to sort Decl* before Expr*, and by Ted Kremenek · 17 years ago
- ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 17 years ago
- 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 17 years ago
- 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
- aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 17 years ago
- 1501c82 Fixed invalid typedefs in the root and eop iterators for ExplodedGraph. by Ted Kremenek · 17 years ago
- 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 17 years ago
- 1ccd31c Added support for assignments in GRConstants. by Ted Kremenek · 17 years ago
- 22f0d97 Fixed bug where GRConstants::AddBindings() did not check for values by Ted Kremenek · 17 years ago
- a5a1ef4 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 17 years ago
- 1e0a390 Move promoteExprToType from being a static method in SemaExpr.cpp to being by Chris Lattner · 17 years ago
- 20dabe8 add accessors to switchstmt. by Chris Lattner · 17 years ago
- b365b70 Fixed broken bitmasking in the ctor of ProgramPoint. by Ted Kremenek · 17 years ago
- faa5b48 Added missing call to the checker's Initialize() method in the alternate by Ted Kremenek · 17 years ago
- b2d763a Added missing ctor to ExplodedGraph. by Ted Kremenek · 17 years ago
- 5e2fa75 Fixed incorrect pointer mask. by Ted Kremenek · 17 years ago
- a453255 Shortened driver option for running the GR-constants analysis to --grconstants. by Ted Kremenek · 17 years ago
- 1f3722b Add missing header file for GRConstants analysis. by Ted Kremenek · 17 years ago
- ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
- 3c6c672 More cleanups in DoStmt. The NodeSets are now vectors instead of sets, since by Ted Kremenek · 17 years ago
- 837618c by Steve Naroff · 17 years ago
- 9849185 Adjusted DSPtr::Profile method again, since my last patch broke the build. by Ted Kremenek · 17 years ago
- ed371ce Changed 'Profile' method for DSPtr to incorporate the flags from the by Ted Kremenek · 17 years ago
- cb448ca Renamed some internal classes for the GR-Constant Propagation analysis. by Ted Kremenek · 17 years ago
- b586cce Typo. by Fariborz Jahanian · 17 years ago
- e8d1c05 Added support for rewriting of continue/break statements inside ObjC2's foreach-stmt. by Fariborz Jahanian · 17 years ago
- d27f816 Added skeleton implementation of new constant-prop. analysis using by Ted Kremenek · 17 years ago
- 4992b73 Added ctor to GRNodeBuilder. by Ted Kremenek · 17 years ago
- dfb9bbb by Steve Naroff · 17 years ago
- 02f62a9 by Steve Naroff · 17 years ago
- b1a17ae avoid pasting L + "foo" into L"foo". by Chris Lattner · 17 years ago
- fdc0d3c avoid token pasting between identifiers and wide strings: by Chris Lattner · 17 years ago
- 96d2c43 by Steve Naroff · 17 years ago
- 4cdec1c by Steve Naroff · 17 years ago
- 425c08c Removed implicit transitions to a "BlockExit" location; we now handle by Ted Kremenek · 17 years ago
- 3bf49e3 Removed mutation of CFGBlock through operator[]. For now the underlying ASTs, by Ted Kremenek · 17 years ago
- 14f3f1b by Steve Naroff · 17 years ago
- f24af5b Added prototype implementation of path-sens. analysis core engine. by Ted Kremenek · 17 years ago