- 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
- 13e22cf Improve non-const initializer implementation. by Lauro Ramos Venancio · 17 years ago
- 41ef30e Implement CodeGenModule::getMemSetFn method. by Lauro Ramos Venancio · 17 years ago
- 1caf26a Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 17 years ago
- b533912 Added special handling for UninitializedVals for the transfer function logic by Ted Kremenek · 17 years ago
- a888c98 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 17 years ago
- 145cd89 Simplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr method when by Lauro Ramos Venancio · 17 years ago
- 5d3003a Fixed transfer function for casts to always evaluate the effects of the by Ted Kremenek · 17 years ago
- 402563b Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago
- 49581f4 fix the second half of PR2041: __restrict is ok in c90 mode, even if by Chris Lattner · 17 years ago
- e6ea2d5 Fixed bug classof() bug with RValues that could cause an UninitializedVal by Ted Kremenek · 17 years ago
- b9c31f0 For now, --grsimple skips analyzing functions in header files. by Ted Kremenek · 17 years ago
- 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 17 years ago
- de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 17 years ago
- 60c9b18 Allow ArraySubscriptExpr to be a base node for vector dereference. This by Nate Begeman · 17 years ago
- c2c95b0 Added FIXME for properly handling local arrays using symbolic LValues. by Ted Kremenek · 17 years ago
- 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
- 95050fa A global without initializer must be emitted as weak. Fix Olden/bh test. by Lauro Ramos Venancio · 17 years ago
- 39b4c6c Added "size()" and "empty()" methods to ExplodedGraphImpl. by Ted Kremenek · 17 years ago
- 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
- 305762c Implement multi-dimension array initalizer. Fix McCat/08-main test. by Lauro Ramos Venancio · 17 years ago
- cb33093 Running -grsimple now emits diagnostics about the time spent analyzing each function. Will by Ted Kremenek · 17 years ago
- f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 17 years ago
- b41edf9 Add more supported constraints. by Anders Carlsson · 17 years ago