- c5ae899 Extend InitListExpr API/IMPL to support arbitrary add/remove (in support of the initializer rewrite I am doing). by Steve Naroff · 17 years ago
- 02edb98 More ObjC2 property semantics work. Work in progress. by Fariborz Jahanian · 17 years ago
- 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 17 years ago
- c1ff3cd More cleanups with ObjCQualifiedIdType in the static analyzer. by Ted Kremenek · 17 years ago
- ee90dba Add placeholder code in the static analyzer for MemberExprs involving struct temporaries. by Ted Kremenek · 17 years ago
- a084bb6 Add workaround for __builtin_offsetof in the static analyzer. by Ted Kremenek · 17 years ago
- f342d18 Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType. by Ted Kremenek · 17 years ago
- e8c2bde Support implicit casts from pointers to references. by Ted Kremenek · 17 years ago
- c52c89a When creating LVals for array entries, canonicalize entries with a 0 index. by Ted Kremenek · 17 years ago
- c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
- 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
- f47bb78 Add conjured symbols for decl initializations. Add db_error as panic function. by Ted Kremenek · 17 years ago
- c3b7f0e Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 17 years ago
- a1945fa Verify the whole module after codegen to catch silly IR bugs. by Chris Lattner · 17 years ago
- 2262494 fix 'var unused' warning. by Chris Lattner · 17 years ago
- 436f2b9 Invalidate old subexpression bindings when binding UnknownVal. by Ted Kremenek · 17 years ago
- ad87d25 Simplify RemoveDeadBindings. by Ted Kremenek · 17 years ago
- 4d0348b Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
- aa847fe Default visbility for instance variables is protected. by Fariborz Jahanian · 17 years ago
- 718c4f7 Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
- 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
- 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 17 years ago
- 377e230 Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 17 years ago
- e5c3012 Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 17 years ago
- 01d9dbf Add -fobjc-gc and -fobjc-gc-only options to the driver. by Ted Kremenek · 17 years ago
- 274f433 Bug fix in CFG::getBlockEdgeImpl(): Use a BumpPtrAllocator to allocate by Ted Kremenek · 17 years ago
- ff87144 Call ExitScope before ActOnFinishNamespaceDef. by Argyrios Kyrtzidis · 17 years ago
- 2d1c5d3 Parsing of namespaces: by Argyrios Kyrtzidis · 17 years ago
- 642e38b Use PushOnScopeChains to introduce a decl into scope. by Argyrios Kyrtzidis · 17 years ago
- 6e5977f Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment. by Argyrios Kyrtzidis · 17 years ago
- 2673c9f Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 17 years ago
- 5827754 remove the 'unused static' diagnostic from codegen. This should be by Chris Lattner · 17 years ago
- 27ae6c6 initial support for recognizing __transparent_union__ attributes by Nuno Lopes · 17 years ago
- 4b443a6 Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 17 years ago
- 2bfe9ea Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 17 years ago
- 5678392 Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 17 years ago
- 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
- 652adc6 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 17 years ago
- 846d4e9 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 17 years ago
- b5e0224 Patch to diagnose inconsistancies between properties declared in current and by Fariborz Jahanian · 17 years ago
- 77d7ef8 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 17 years ago
- 891d5cc CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 17 years ago
- 5ab201a Have ValidateOutputConstraint return false instead of firing an assertion by Ted Kremenek · 17 years ago
- 5a42995 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 17 years ago
- 6aaca9c Fix minor regression in bug report generation. by Ted Kremenek · 17 years ago
- a43a1eb When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect. by Ted Kremenek · 17 years ago
- 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
- c1e9dea TranslationUnit now owns IdentifierTable, TargetInfo, and Selectors objects by Ted Kremenek · 17 years ago
- 5014ab1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 17 years ago
- c66d0aa fix a rewriter crash on zero length files. by Chris Lattner · 17 years ago
- 688738f Added panic function "assfail". by Ted Kremenek · 17 years ago
- 628b96f Patch to build AST for property implementation declarations and by Fariborz Jahanian · 17 years ago
- 8b90455 For default branches in switch statements with no default label, print out by Ted Kremenek · 17 years ago
- 5b7dcce Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 17 years ago
- a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
- 0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 17 years ago
- 9fdf9c6 "This patch renames by Chris Lattner · 17 years ago
- 5585114 PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 17 years ago
- 5fc073f Use back() instead of end()-1 by Argyrios Kyrtzidis · 17 years ago
- 9a108ae Added panic function "dtrace_assfail". by Ted Kremenek · 17 years ago
- 9a094cb Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 17 years ago
- ad487f4 Add some basic ARM asm constraints by Nate Begeman · 17 years ago
- 540cbe2 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 17 years ago
- c70bee8 Allow property in base class to be implemented in a derived class. by Fariborz Jahanian · 17 years ago
- 469ecbd Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 17 years ago
- 6cdf16d More semantics checks of properties. Property implementation can implicitly use by Fariborz Jahanian · 17 years ago
- c35b9e4 Support for @dynamic AST build. by Fariborz Jahanian · 17 years ago
- d0c33d3 Fix pasto, thanks to Anders for pointing this out. by Chris Lattner · 17 years ago
- 559c0c4 Continuation of work on ObjC2's properties. by Fariborz Jahanian · 17 years ago
- 393ff04 add arm support by Chris Lattner · 17 years ago
- f009795 Clean up handling of function redeclarations by Douglas Gregor · 17 years ago
- 7b98957 Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! by Ted Kremenek · 17 years ago
- 1a1d92a Fix PR2236 Add test Implement feedback from Chris re: PR1998 by Nate Begeman · 17 years ago
- 65bb89c Two improvements to initializer parsing: by Chris Lattner · 17 years ago
- 70f66ab for exponent-related errors, emit the diagnostic on the 'e' or 'p'. by Chris Lattner · 17 years ago
- 0b7f69d when emitting diagnostics about some character in a numeric by Chris Lattner · 17 years ago
- 4c13b7a Only generate code for static functions and global variables that are actually used. by Nate Begeman · 17 years ago
- b1698cf Restructure and simplify Sema::ObjCQualifiedIdTypesAreCompatible, by Chris Lattner · 17 years ago
- 25ddea7 implement a fixme, add support for ++/-- on long double. by Chris Lattner · 17 years ago
- 59138ba use simplified ConstantFP:get method. by Chris Lattner · 17 years ago
- f3d8d19 replace form feeds with an <hr> tag. by Chris Lattner · 17 years ago
- aa39197 simplify ownership of the predefines buffer. by Chris Lattner · 17 years ago
- 6bdafbf Gracefully handle when the receiver of a message expression is not a pointer type. by Ted Kremenek · 17 years ago
- 8bd4afe Generate code for annotation attributes. by Nate Begeman · 17 years ago
- 532485c Add support to module codegen for adding and emitting annotations by Nate Begeman · 17 years ago
- d6595fa Ignore qualifiers when attempting to match arguments to parameter types for by Nate Begeman · 17 years ago
- 213541a OCUVector -> ExtVector, shorthand for extended vector, per feedback from Chris. by Nate Begeman · 17 years ago
- 2f0e89e Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did by Ted Kremenek · 17 years ago
- 59b6d5a fix __attribute__(format) for struct function pointer fields by Nuno Lopes · 17 years ago
- 27fd586 Reenable using the PathDiagnosticClient for BugReports without paths. by Ted Kremenek · 17 years ago
- 95cc1ba Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 17 years ago
- b053396 Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 17 years ago
- eaa9eda Fixed elusive caching bug that led to false positives. by Ted Kremenek · 17 years ago
- cb61292 Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors by Ted Kremenek · 17 years ago
- 550a0f9 Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating by Ted Kremenek · 17 years ago
- 3d29206 Tabs -> spaces by Nate Begeman · 17 years ago
- 4f28515 Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 17 years ago
- d5e2d87 Initialize default double width and alignment by Nate Begeman · 17 years ago
- c8b1227 Allow targets to override double size, alignment, and semantics, and tie this by Nate Begeman · 17 years ago
- fb58609 Provide a version of html::HighlightMacros that takes a Preprocessor&. by Ted Kremenek · 17 years ago