- affb215 End paths when calling a function marked "noreturn." by Ted Kremenek · 17 years ago
- aecb383 Added support for attribute "noreturn." by Ted Kremenek · 17 years ago
- b0ab212 Small tweaks to the transfer function for DeclStmt: do not mark external global by Ted Kremenek · 17 years ago
- de808ca Disable internalize. Unfortunately, the configure scripts are not ready for some link time optimizations. by Lauro Ramos Venancio · 17 years ago
- 2e5f54a Removed VarDecl::hasStaticStorage() (redundant with hasGlobalStorage()) by Ted Kremenek · 17 years ago
- 5c06121 Added string "[CHECKER]" to the output diagnostics produced by the GRSimpleVals analysis. by Ted Kremenek · 17 years ago
- 0d99ecf Fixed edge-case in CFG construction where goto jumps would not always get by Ted Kremenek · 17 years ago
- 411219b A, q and Z are valid LLVM inline asm constraints. by Lauro Ramos Venancio · 17 years ago
- 5482713 Bug fix in CFG construction: Properly register the loop head as the implicit by Ted Kremenek · 17 years ago
- 2ad8868 Small fix to VisitLVal: this method can be called on Block-Level expressions. by Ted Kremenek · 17 years ago
- 0793263 When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
- 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
- 3ef1512 Similar bug fix to r47650; when processing CallExprs if we did not generate an by Ted Kremenek · 17 years ago
- a6fbe80 Fixed bug in the core transfer function logic for CallExprs where we would by Ted Kremenek · 17 years ago
- a9d996d Fixed CFG construction bug that occurred when a condition for a loop spanned by Ted Kremenek · 17 years ago
- 4df85f5 fix an interaction between -isystem . and isysroot. by Chris Lattner · 17 years ago
- 5a7b382 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
- 0674769 Added boilerplate for plug-in transfer function support for CallExprs. by Ted Kremenek · 17 years ago
- 0015541 Don't emit divide-by-zero errors when we divide by an unknown (not by Ted Kremenek · 17 years ago
- 9cae51a Changed VarDecl::hasGlobalStorage() to be the negation of hasLocalStorage(). by Ted Kremenek · 17 years ago
- 8137335 Implement codegen for the following static var init. by Lauro Ramos Venancio · 17 years ago
- d87a321 Removed static analysis-specific diagnostics from DiagnosticKinds.def. by Ted Kremenek · 17 years ago
- ebd6610 Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 17 years ago
- 58b3321 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
- 7695f70 Fix a bug in ConvertAsmString function. by Lauro Ramos Venancio · 17 years ago
- 189c305 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
- 05a2378 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
- a5694b8 Convert x86 target specific inline asm constraints to LLVM. by Lauro Ramos Venancio · 17 years ago
- 018c15f Fixed inverted condition. by Ted Kremenek · 17 years ago
- f4e15fc Do include ParenExpr in the CFG; only include their subexpression. by Ted Kremenek · 17 years ago
- d763eb9 Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
- 50dd289 add parsing, ast building and pretty printing support for C++ throw expressions. by Chris Lattner · 17 years ago
- a73349d Fix PR2092 by making sure the sign of the enum value follows the by Chris Lattner · 17 years ago
- b22ef6f fix const correctness. by Chris Lattner · 17 years ago
- d34066c Fixed bug in CFG construction when a CompoundStmt ended with a NullStmt. by Ted Kremenek · 17 years ago
- 4dc3522 Added FIXME. by Ted Kremenek · 17 years ago
- dcc4810 Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt by Ted Kremenek · 17 years ago
- 56cd7e3 Fix a little typo... per cfe-dev, this was apparently causing test by Eli Friedman · 17 years ago
- c9dde4f clarify comment, this is undefined behavior in any case, even if it only by Chris Lattner · 17 years ago
- 2de4a9b doxygenify some comments. by Ted Kremenek · 17 years ago
- 994a09b Better handling of calls to functions via function pointers. by Ted Kremenek · 17 years ago
- c81c814 convert tabs to spaces, patch by Mike Stump! by Chris Lattner · 17 years ago
- 2083a91 Revert an incorrect part of my previuos patch. by Lauro Ramos Venancio · 17 years ago
- 0184cc7 Fix PR2086. by Lauro Ramos Venancio · 17 years ago
- 29db75c Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
- 3c8d0c5 Expanded transfer function support for divide-by-zero checking to include by Ted Kremenek · 17 years ago
- 3bca92b Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
- 07d83aa Added transfer function support for checking for divide-by-zero errors. by Ted Kremenek · 17 years ago
- 3426b9b enable digraphs for C94, thanks to Neil for pointing this out. by Chris Lattner · 17 years ago
- 146ccd4 Fix PR2090, a typo in digraph processing. by Chris Lattner · 17 years ago
- edf9c7f Update comment. by Chris Lattner · 17 years ago
- 69d6375 Move the initialization of SEL/objc_selector from Sema::Sema() to Sema::ActOnTranslationUnitScope() and make sure the type/struct get inserted into the translation unit scope. by Steve Naroff · 17 years ago
- ca63fa0 Two more Windows-related fixes: by Ted Kremenek · 17 years ago
- 6bb816a In FileManager: use full paths to unique files and directories on Windows, by Ted Kremenek · 17 years ago
- 10c5fa3 Minor code cleanup. by Eli Friedman · 17 years ago
- 8e748ab Change encoding of TokenKind in IdentifierTable to be of type "unsigned" by Ted Kremenek · 17 years ago
- 471733d Patch from Argiris Kirtzidis: by Ted Kremenek · 17 years ago
- d156d53 Fixed horrid bug in LiveVariables analysis where we were only merging at by Ted Kremenek · 17 years ago
- bfc10c9 Modified clang driver option -dump-live-variables to (optionally) use the by Ted Kremenek · 17 years ago
- 5f39c2d clang driver options --dump-cfg and --view-cfg now (optionally) use the by Ted Kremenek · 17 years ago
- 71ac9c4 When running the GRSimpleVals analysis, skip functions that do not by Ted Kremenek · 17 years ago
- f700df2 Punt on unifying symbolic lvalues. This won't be needed for many checkers. by Ted Kremenek · 17 years ago
- dc3936b Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 17 years ago
- f7ca696 Bug fix: For transfer function for unary "!", compare the subexpression value by Ted Kremenek · 17 years ago
- 5620631 Bug fix in liveness: Only compute liveness information for VarDecls. by Ted Kremenek · 17 years ago
- 9c37417 Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
- 10c1665 Regression fix: Handle binary operators where both the left and right by Ted Kremenek · 17 years ago
- 03da0d7 Added transfer function support for dispatching to functions we don't know by Ted Kremenek · 17 years ago
- 86e07b6 add a test case by Nate Begeman · 17 years ago
- c398f0b Handle __attribute__((annotate("string"))) by Nate Begeman · 17 years ago
- c3055ab RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
- 443003b Regression fix: Handle pointer arithmetic in unary ++/--. by Ted Kremenek · 17 years ago
- 89063af Removed bogus assertions regard LValues binding to UnknownVal; they can by Ted Kremenek · 17 years ago
- 9258a64 Remove incorrect casts from UnknownVal to NonLVal. by Ted Kremenek · 17 years ago
- 61e090c FIX: Promote the correct operand. by Ted Kremenek · 17 years ago
- 9ef1ec9 Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 17 years ago
- 297d0d7 Added transfer function support for sizeof(void) by Ted Kremenek · 17 years ago
- cca196b Some const initializer tests for stuff I just committed. by Eli Friedman · 17 years ago
- aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
- 3b707e7 Clean up constant implicit cast emission; fixes a few edge cases by Eli Friedman · 17 years ago
- 4d1c018 Fix brace-enclosed string initializers for char arrays. From pr2079, by Eli Friedman · 17 years ago
- 3513e13 Change variable name to Tq (from TQ) by Gabor Greif · 17 years ago
- 2665867 Added classes SolarisTargetInfo and by Gabor Greif · 17 years ago
- a269ebf implement codegen support for sizeof(void), fixing PR2080. by Chris Lattner · 17 years ago
- 7380466 add some semantic checks for address spaces. by Chris Lattner · 17 years ago
- bde7184 add a fixme. by Chris Lattner · 17 years ago
- 7654914 Collect and build and process type attributes on pointers. For by Chris Lattner · 17 years ago
- 232e882 move some code, no other change. by Chris Lattner · 17 years ago
- f1d705c move type attribute processing into the creatively named ProcessTypeAttributes method. by Chris Lattner · 17 years ago
- 74788ba Correctly handle address space qualifiers in declspecs. This by Chris Lattner · 17 years ago
- fab5b45 move ConvertDeclSpecToType into Sema by Chris Lattner · 17 years ago
- 2070d80 rename some methods. by Chris Lattner · 17 years ago
- 212839c Use getKind() in HandleDeclAttribute instead of decoding the string inline. by Chris Lattner · 17 years ago
- 2335191 add a method to AttributeList that converts an identifier to an enum. by Chris Lattner · 17 years ago
- 1abc7f6 Tabs are the enemy by Nate Begeman · 17 years ago
- 38d8b98 add some code that will be used to remove processed attrs from by Chris Lattner · 17 years ago
- 958858e Change ConvertDeclSpecToType to break out of switch instead of by Chris Lattner · 17 years ago
- f46699c Alternate address spaces work: by Chris Lattner · 17 years ago
- 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
- d8e9f0d Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago