- ae5965f A, q and Z are valid LLVM inline asm constraints. by Lauro Ramos Venancio · 17 years ago
- 9ff572c Bug fix in CFG construction: Properly register the loop head as the implicit by Ted Kremenek · 17 years ago
- a129a2e Small fix to VisitLVal: this method can be called on Block-Level expressions. by Ted Kremenek · 17 years ago
- b5175bf When analyzing a function, eagerly create symbolic values for all by Ted Kremenek · 17 years ago
- 9f6b161 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
- abe302e Similar bug fix to r47650; when processing CallExprs if we did not generate an by Ted Kremenek · 17 years ago
- cde193a Fixed bug in the core transfer function logic for CallExprs where we would by Ted Kremenek · 17 years ago
- d0c8760 Fixed CFG construction bug that occurred when a condition for a loop spanned by Ted Kremenek · 17 years ago
- 64638a5 fix an interaction between -isystem . and isysroot. by Chris Lattner · 17 years ago
- ad5d5c5 Fix bug when processing '?' operator: invalidate the old "Uninitialized" value of the block-level expression for ?. by Ted Kremenek · 17 years ago
- 348d785 Added boilerplate for plug-in transfer function support for CallExprs. by Ted Kremenek · 17 years ago
- 5a60086 Don't emit divide-by-zero errors when we divide by an unknown (not by Ted Kremenek · 17 years ago
- f69c06f Changed VarDecl::hasGlobalStorage() to be the negation of hasLocalStorage(). by Ted Kremenek · 17 years ago
- 934fb02 Implement codegen for the following static var init. by Lauro Ramos Venancio · 17 years ago
- f567a82 Removed static analysis-specific diagnostics from DiagnosticKinds.def. by Ted Kremenek · 17 years ago
- e933f1c Removed hack with toggling the signedness flag of the APSInt stored by Ted Kremenek · 17 years ago
- 5f2eb19 Small fixes to shore up overhauling of transfer function logic for '&&' and '||. by Ted Kremenek · 17 years ago
- ee48f3f Fix a bug in ConvertAsmString function. by Lauro Ramos Venancio · 17 years ago
- 9b496f9 optimization: no longer create ExplodedNodes for IntegerLiteral and by Ted Kremenek · 17 years ago
- 99ecce7 Major cleanup of the transfer function logic for '&&', '||', and '?'. We by Ted Kremenek · 17 years ago
- bb37a04 Convert x86 target specific inline asm constraints to LLVM. by Lauro Ramos Venancio · 17 years ago
- 56a8999 Fixed inverted condition. by Ted Kremenek · 17 years ago
- a9ba5cc Do include ParenExpr in the CFG; only include their subexpression. by Ted Kremenek · 17 years ago
- ef0007f Added lazy "symbolication" of parameter variables and global variables. by Ted Kremenek · 17 years ago
- a7447ba add parsing, ast building and pretty printing support for C++ throw expressions. by Chris Lattner · 17 years ago
- 6ea9bd4 Fix PR2092 by making sure the sign of the enum value follows the by Chris Lattner · 17 years ago
- 467d9d2 fix const correctness. by Chris Lattner · 17 years ago
- feb0e99 Fixed bug in CFG construction when a CompoundStmt ended with a NullStmt. by Ted Kremenek · 17 years ago
- 1fc70b3 Added FIXME. by Ted Kremenek · 17 years ago
- 43c51bd Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt by Ted Kremenek · 17 years ago
- aa0fdfd Fix a little typo... per cfe-dev, this was apparently causing test by Eli Friedman · 17 years ago
- dd46746 clarify comment, this is undefined behavior in any case, even if it only by Chris Lattner · 17 years ago
- 61fff7d doxygenify some comments. by Ted Kremenek · 17 years ago
- c71901d Better handling of calls to functions via function pointers. by Ted Kremenek · 17 years ago
- 43b885f convert tabs to spaces, patch by Mike Stump! by Chris Lattner · 17 years ago
- 4c44686 Revert an incorrect part of my previuos patch. by Lauro Ramos Venancio · 17 years ago
- d25c7e7 Fix PR2086. by Lauro Ramos Venancio · 17 years ago
- d692f42 Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the by Ted Kremenek · 17 years ago
- 2c36979 Expanded transfer function support for divide-by-zero checking to include by Ted Kremenek · 17 years ago
- ea5baaa Added hack to transfer function logic to handle the case where a DeclRefExpr by Ted Kremenek · 17 years ago
- 6ff5f7f Added transfer function support for checking for divide-by-zero errors. by Ted Kremenek · 17 years ago
- 0297c76 enable digraphs for C94, thanks to Neil for pointing this out. by Chris Lattner · 17 years ago
- 91cdf9f Update comment. by Chris Lattner · 17 years ago
- 8f635e0 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
- dbd96b2 Two more Windows-related fixes: by Ted Kremenek · 17 years ago
- c692520 In FileManager: use full paths to unique files and directories on Windows, by Ted Kremenek · 17 years ago
- fd67f8a Minor code cleanup. by Eli Friedman · 17 years ago
- d938a89 Change encoding of TokenKind in IdentifierTable to be of type "unsigned" by Ted Kremenek · 17 years ago
- f91bc1d Patch from Argiris Kirtzidis: by Ted Kremenek · 17 years ago
- 58ba7d5 Fixed horrid bug in LiveVariables analysis where we were only merging at by Ted Kremenek · 17 years ago
- b278abb Modified clang driver option -dump-live-variables to (optionally) use the by Ted Kremenek · 17 years ago
- 83390ec clang driver options --dump-cfg and --view-cfg now (optionally) use the by Ted Kremenek · 17 years ago
- e060a35 When running the GRSimpleVals analysis, skip functions that do not by Ted Kremenek · 17 years ago
- fe944c4 Punt on unifying symbolic lvalues. This won't be needed for many checkers. by Ted Kremenek · 17 years ago
- 3870619 Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 17 years ago
- a089467 Bug fix: For transfer function for unary "!", compare the subexpression value by Ted Kremenek · 17 years ago
- 2c3041c Bug fix in liveness: Only compute liveness information for VarDecls. by Ted Kremenek · 17 years ago
- 53a8d9e Return "Unknown" when using the value of a function pointer whose value by Ted Kremenek · 17 years ago
- 08cd370 Regression fix: Handle binary operators where both the left and right by Ted Kremenek · 17 years ago
- b9a20e0 Added transfer function support for dispatching to functions we don't know by Ted Kremenek · 17 years ago
- 580a1c7 add a test case by Nate Begeman · 17 years ago
- 754d3fc Handle __attribute__((annotate("string"))) by Nate Begeman · 17 years ago
- 3087ac2 RemoveDeadBindings should now check for UninitalizedVal, as it is a now by Ted Kremenek · 17 years ago
- b1669d4 Regression fix: Handle pointer arithmetic in unary ++/--. by Ted Kremenek · 17 years ago
- b8782e1 Removed bogus assertions regard LValues binding to UnknownVal; they can by Ted Kremenek · 17 years ago
- de89ec0 Remove incorrect casts from UnknownVal to NonLVal. by Ted Kremenek · 17 years ago
- 666ab92 FIX: Promote the correct operand. by Ted Kremenek · 17 years ago
- 9cfda3f Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 17 years ago
- 571f519 Added transfer function support for sizeof(void) by Ted Kremenek · 17 years ago
- 05d125c Some const initializer tests for stuff I just committed. by Eli Friedman · 17 years ago
- 07baa25 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
- 1693a3f Clean up constant implicit cast emission; fixes a few edge cases by Eli Friedman · 17 years ago
- 8ac5b3a Fix brace-enclosed string initializers for char arrays. From pr2079, by Eli Friedman · 17 years ago
- e85f79b Change variable name to Tq (from TQ) by Gabor Greif · 17 years ago
- 8a3ff0d Added classes SolarisTargetInfo and by Gabor Greif · 17 years ago
- 2051546 implement codegen support for sizeof(void), fixing PR2080. by Chris Lattner · 17 years ago
- 6e1c6bb add some semantic checks for address spaces. by Chris Lattner · 17 years ago
- 2e7d57f add a fixme. by Chris Lattner · 17 years ago
- 69f0193 Collect and build and process type attributes on pointers. For by Chris Lattner · 17 years ago
- 1aaeeb9 move some code, no other change. by Chris Lattner · 17 years ago
- 9e98250 move type attribute processing into the creatively named ProcessTypeAttributes method. by Chris Lattner · 17 years ago
- 49d15cb Correctly handle address space qualifiers in declspecs. This by Chris Lattner · 17 years ago
- 726c545 move ConvertDeclSpecToType into Sema by Chris Lattner · 17 years ago
- 9384f50 rename some methods. by Chris Lattner · 17 years ago
- b9716a6 Use getKind() in HandleDeclAttribute instead of decoding the string inline. by Chris Lattner · 17 years ago
- d243eb4 add a method to AttributeList that converts an identifier to an enum. by Chris Lattner · 17 years ago
- 43f307d Tabs are the enemy by Nate Begeman · 17 years ago
- d496fb9 add some code that will be used to remove processed attrs from by Chris Lattner · 17 years ago
- 06fb867 Change ConvertDeclSpecToType to break out of switch instead of by Chris Lattner · 17 years ago
- 35fef52 Alternate address spaces work: by Chris Lattner · 17 years ago
- 0cd9635 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
- b996ebc Placed transfer function logic for dereferences in its own method, while at by Ted Kremenek · 17 years ago
- 97b0957 Improve non-const initializer implementation. by Lauro Ramos Venancio · 17 years ago
- e5bef73 Implement CodeGenModule::getMemSetFn method. by Lauro Ramos Venancio · 17 years ago
- 7c79a79 Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 17 years ago
- 9d4895c Added special handling for UninitializedVals for the transfer function logic by Ted Kremenek · 17 years ago
- 962af8b Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 17 years ago
- a62b1df Simplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr method when by Lauro Ramos Venancio · 17 years ago
- 5f585b0 Fixed transfer function for casts to always evaluate the effects of the by Ted Kremenek · 17 years ago
- 5a9b6aa Added transfer function support for casting to "void". by Ted Kremenek · 17 years ago