- 41ef30e Implement CodeGenModule::getMemSetFn method. by Lauro Ramos Venancio · 16 years ago
- 1caf26a Added missing case in constant propagation logic for handling the Xor of by Ted Kremenek · 16 years ago
- b533912 Added special handling for UninitializedVals for the transfer function logic by Ted Kremenek · 16 years ago
- a888c98 Implemented "getType()" for symbolic values representing the "contents" of by Ted Kremenek · 16 years ago
- 145cd89 Simplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr method when by Lauro Ramos Venancio · 16 years ago
- 5d3003a Fixed transfer function for casts to always evaluate the effects of the by Ted Kremenek · 16 years ago
- 402563b Added transfer function support for casting to "void". by Ted Kremenek · 16 years ago
- 49581f4 fix the second half of PR2041: __restrict is ok in c90 mode, even if by Chris Lattner · 16 years ago
- e6ea2d5 Fixed bug classof() bug with RValues that could cause an UninitializedVal by Ted Kremenek · 16 years ago
- b9c31f0 For now, --grsimple skips analyzing functions in header files. by Ted Kremenek · 16 years ago
- 7263910 Added back explicit state/node creation when visiting IntegerLiterals and by Ted Kremenek · 16 years ago
- de43424 Added boilerplate transfer function support for CallExprs. by Ted Kremenek · 16 years ago
- 60c9b18 Allow ArraySubscriptExpr to be a base node for vector dereference. This by Nate Begeman · 16 years ago
- c2c95b0 Added FIXME for properly handling local arrays using symbolic LValues. by Ted Kremenek · 16 years ago
- 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 16 years ago
- 95050fa A global without initializer must be emitted as weak. Fix Olden/bh test. by Lauro Ramos Venancio · 16 years ago
- 39b4c6c Added "size()" and "empty()" methods to ExplodedGraphImpl. by Ted Kremenek · 16 years ago
- 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 16 years ago
- 305762c Implement multi-dimension array initalizer. Fix McCat/08-main test. by Lauro Ramos Venancio · 16 years ago
- cb33093 Running -grsimple now emits diagnostics about the time spent analyzing each function. Will by Ted Kremenek · 16 years ago
- f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 16 years ago
- b41edf9 Add more supported constraints. by Anders Carlsson · 16 years ago
- a0992b6 by Steve Naroff · 16 years ago
- 8af226a More bitfield improvements. by Anders Carlsson · 16 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 · 16 years ago
- b7894b5 Turn handling of parameter attributes back on, fixing the ObjC breakage by Nate Begeman · 16 years ago
- 0e4c627 Revert this temporarily, it's breaking objc :/ by Nate Begeman · 16 years ago
- 6d20d03 Handle parameter attributes by Nate Begeman · 16 years ago
- 5280408 Fix PR2042. One remaining issue: we don't currently diagnose by Chris Lattner · 16 years ago
- a9b20e5 Change alignment for doubles to 32 bits which is what X86 has. by Anders Carlsson · 16 years ago
- d3f2f79 Implemnt isVariablyModifiedType correctly. by Eli Friedman · 16 years ago
- 19a1d7c implement codegen support for aggregates casted to void. by Chris Lattner · 16 years ago
- 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 16 years ago
- fea90b8 Implement extern block var. by Lauro Ramos Venancio · 16 years ago
- 5a1b0c4 Add more tests by Anders Carlsson · 16 years ago
- 042c4e7 Better handling of the aligned attribute. by Anders Carlsson · 16 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
- a3fadfc When visualizing ExplodedNodes created by GRExprEngine, color nodes with by Ted Kremenek · 17 years ago
- 546bded Don't analyze functions when we have parse errors. by Ted Kremenek · 17 years ago
- e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 17 years ago
- b387a3f #include cleanups in GRExprEngine.cpp/GRExprEngine.h. Moved GRExprEngine to by Ted Kremenek · 17 years ago
- 77349cb Partitioned definition/implementation of GRExperEngine into .h and .cpp. by Ted Kremenek · 17 years ago
- 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 17 years ago
- c1b3ba5 ParseCompoundStatementBody expects to only be called with { as the current by Chris Lattner · 17 years ago
- c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 17 years ago
- d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 17 years ago
- cc409b7 Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". by Ted Kremenek · 17 years ago
- 60c385b Completed note by Nate Begeman · 17 years ago
- 8122660 Address comments from Chris. by Anders Carlsson · 17 years ago
- d429cd4 Add Attr.h which is an AST-level class for GCC attributes. by Anders Carlsson · 17 years ago
- 96715ae by Steve Naroff · 17 years ago
- e39bfd0 by Steve Naroff · 17 years ago
- daeb9a7 Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 17 years ago
- 376605b Adjust for APInt's isPositive being renamed to isNonNegative. by Dan Gohman · 17 years ago
- eef5a9a When creating the CFGBlocks for a switch statement, we now have the "default" by Ted Kremenek · 17 years ago
- 295222c Fixed bug in CFG construction when processing switch statements that contain no by Ted Kremenek · 17 years ago
- 44842c2 Fixed 80 col violations. by Ted Kremenek · 17 years ago
- 438757c avoid making implicit casts that just remove typedefs. by Chris Lattner · 17 years ago
- 0ee2571 Unbreak the build. by Ted Kremenek · 17 years ago
- a82799e Renamed files to match class renaming in r47070: by Ted Kremenek · 17 years ago
- 4d4dd85 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 17 years ago
- 4b3f9b3 Fix a minor bug in isNullPointerConstant triggered by the linux tgmath.h. by Eli Friedman · 17 years ago
- 24f1a96 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 17 years ago
- a58e833 Added GREngine support for "break" and "continue". by Ted Kremenek · 17 years ago
- e2c1410 Use IgnoreParenCasts. by Anders Carlsson · 17 years ago
- 56f3494 Move IgnoreParenCasts to be a method on Expr. by Chris Lattner · 17 years ago
- 754607e Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 17 years ago
- f810869 Added GREngine support for GotoStmt. by Ted Kremenek · 17 years ago
- d254f00 Adjust for the API change to APInt::getBitsSet. by Dan Gohman · 17 years ago
- 2a50257 Added transfer function/value track logic for taking the address of a label. by Ted Kremenek · 17 years ago
- 230aaab Minor (cosmetic) reshuffling of code. Fixed a bug in "Assume" logic when by Ted Kremenek · 17 years ago
- d9435bf Added transfer function logic for sizeof(expr)/sizeof(type). This currently by Ted Kremenek · 17 years ago