- 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
- a0992b6 by Steve Naroff · 17 years ago
- 8af226a More bitfield improvements. by Anders Carlsson · 17 years ago
- 64a31ef Fix bug where we would report the wrong value for __alignof__ with an expr that is not a type. by Anders Carlsson · 17 years ago
- b7894b5 Turn handling of parameter attributes back on, fixing the ObjC breakage by Nate Begeman · 17 years ago
- 0e4c627 Revert this temporarily, it's breaking objc :/ by Nate Begeman · 17 years ago
- 6d20d03 Handle parameter attributes by Nate Begeman · 17 years ago
- 5280408 Fix PR2042. One remaining issue: we don't currently diagnose by Chris Lattner · 17 years ago
- a9b20e5 Change alignment for doubles to 32 bits which is what X86 has. by Anders Carlsson · 17 years ago
- d3f2f79 Implemnt isVariablyModifiedType correctly. by Eli Friedman · 17 years ago
- 19a1d7c implement codegen support for aggregates casted to void. by Chris Lattner · 17 years ago
- 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 17 years ago
- fea90b8 Implement extern block var. by Lauro Ramos Venancio · 17 years ago
- 5a1b0c4 Add more tests by Anders Carlsson · 17 years ago
- 042c4e7 Better handling of the aligned attribute. by Anders Carlsson · 17 years ago
- eb7adf3 More comments from Chris. by Anders Carlsson · 17 years ago
- e9ba323 Fix CheckEndOfDirective to diagnose lines that contain macros that expand to by Chris Lattner · 17 years ago
- 6a24acb Make sizeof and __alignof work correctly with packed structs. by Anders Carlsson · 17 years ago
- d70d0b0 Further cleanup. Moved definitions for SymbolManager and ValueManager into by Ted Kremenek · 17 years ago
- 425a609 Fix typo by Anders Carlsson · 17 years ago
- ad14806 Handle packed attribute correctly by Anders Carlsson · 17 years ago
- baa66fc Address comments from Chris. by Anders Carlsson · 17 years ago
- adf21bd Store attributes in a global hash map instead. by Anders Carlsson · 17 years ago
- b0dd268 Store attributes in a global hash map instead. by Anders Carlsson · 17 years ago
- c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
- a674349 Set Ubuntu 7.10 c++ include path. by Lauro Ramos Venancio · 17 years ago
- 279876b Add c++ to "inferlanguage" by Lauro Ramos Venancio · 17 years ago
- b233183 Added transfer function support for conditional branches with a NULL condition (e.g., "for(;;)"). by Ted Kremenek · 17 years ago
- 50d0ac2 Simplified transfer function logic for ++/-- operators. by Ted Kremenek · 17 years ago
- 5d826b8 Added predicate function "UnaryOperator::isIncrementOp()". by Ted Kremenek · 17 years ago
- 3fe0293 Don't call non-existent method... sorry about the spam; the fix seemed by Eli Friedman · 17 years ago
- a1321b6 Get rid of unused variable warning. by Eli Friedman · 17 years ago
- c5773c4 Split out incomplete arrays from VariableArrayType into by Eli Friedman · 17 years ago
- 3e5849e Fix PR2041: restrict is not a keyword in c90. by Chris Lattner · 17 years ago
- 9db1397 Part of clearing up the whole VariableArrayType + incomplete arrays by Eli Friedman · 17 years ago
- d868856 Remove unnecessary references to VariableArrayType from Analysis. by Eli Friedman · 17 years ago
- 3c2b317 Remove useless parameter from isConstantSizeType. by Eli Friedman · 17 years ago
- f78915f Get rid of AttributeList in the AST and use the new Attr class instead by Anders Carlsson · 17 years ago
- f963339 Get rid of outdated code that masks type errors. Fixes PR2036. by Eli Friedman · 17 years ago
- 708eed5 Nevermind, these tests work... I messed up my testing. by Eli Friedman · 17 years ago
- d574052 Partial fix for struct compatibility; there's still something messy by Eli Friedman · 17 years ago
- b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 17 years ago
- d55fe52 Added --grsimple-view option to clang driver; this is the same as by Ted Kremenek · 17 years ago
- 90e1481 Added "symbol iterators" for RValues, allowing easy iteration over the symbols by Ted Kremenek · 17 years ago