- 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
- 6083ea3 Fixed misspelling in comment. by Ted Kremenek · 17 years ago
- 5d2986b Renamed local variable. Added transfer function support for CharacterLiteral. by Ted Kremenek · 17 years ago
- 78492da Moved class declaration for ObjCForCollectionStmt to be co-located with by Ted Kremenek · 17 years ago
- 8e49dd6 Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 17 years ago
- bab9696 Make typechecking for enum+int compatibility stricter. by Eli Friedman · 17 years ago
- fd888a5 Add wchar_t type to ASTContext. Will be needed for wide strings, since by Eli Friedman · 17 years ago
- 4c721d3 Fix type compatibility between constant and variable arrays. by Eli Friedman · 17 years ago
- 9532414 by Steve Naroff · 17 years ago
- fabbc34 by Steve Naroff · 17 years ago
- 5f8aa69 by Steve Naroff · 17 years ago
- 8158a0e Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap by Ted Kremenek · 17 years ago
- e7a3730 by Steve Naroff · 17 years ago
- 705b5b5 by Steve Naroff · 17 years ago
- 58de026 by Steve Naroff · 17 years ago
- 406db93 by Steve Naroff · 17 years ago
- e7d2211 Separate bindings for subexpressions to be in a separate map for by Ted Kremenek · 17 years ago
- 88cf226 Get rid of bogus warnings when the second argument in va_start is either an implicit cast expr or a paren expr. by Anders Carlsson · 17 years ago
- 54174e8 by Steve Naroff · 17 years ago
- 3a15485 by Steve Naroff · 17 years ago
- 0d0ba19 strings are arrays too by Chris Lattner · 17 years ago
- ff6e2b7 A couple of minor fixes to aggregate codegen, to stop asserting on some by Eli Friedman · 17 years ago
- 546d94c Make unsupported constant exprs fail with a warning instead of crashing by Eli Friedman · 17 years ago
- b43eaa5 by Steve Naroff · 17 years ago
- a7ad98f Fix PR1992 by computing the right type for string literals, which by Chris Lattner · 17 years ago
- 68f624e Basic codegen test for conditional with void*. by Eli Friedman · 17 years ago
- f76f5ed Add a couple of sema tests for qualifiers with conditionals containing void*. by Eli Friedman · 17 years ago
- 99d724f Fix PR1999, by emitting a hard error only if an argument declarator is completely by Chris Lattner · 17 years ago
- a541d53 Fix the type of conditionals involving void* to be self-consistent and by Eli Friedman · 17 years ago
- 3c2eb66 by Steve Naroff · 17 years ago
- 9880ba9 long is 32-bit is on win32. by Chris Lattner · 17 years ago
- acb818a by Steve Naroff · 17 years ago
- 75ceedf by Steve Naroff · 17 years ago
- a28ef8b Implement __builtin_va_copy by Anders Carlsson · 17 years ago
- 8bd36fc Behave correctly if a constraint expression is invalid. by Anders Carlsson · 17 years ago
- 4bd6d0c by Steve Naroff · 17 years ago
- 336ed0b by Steve Naroff · 17 years ago
- 472778e Expose the logic for field address codegen; it is needed for aggregate by Eli Friedman · 17 years ago
- efe7f36 by Steve Naroff · 17 years ago
- 016f52f Split off expression-bindings in ValueState from variable-bindings. by Ted Kremenek · 17 years ago
- d70b62e Changed "GetValue" methods to take an by Ted Kremenek · 17 years ago
- c0959fc Fix a bitfield regression. Reported by Anders Carlsson. by Lauro Ramos Venancio · 17 years ago
- b87d909 Moved implementation of "RemoveDeadBindings" from the main by Ted Kremenek · 17 years ago
- 071679d Removed ability to create symbol bindings in VarKey and VariableBindingsTy. by Ted Kremenek · 17 years ago
- 3628097 by Steve Naroff · 17 years ago
- 675a9ba Moved that clang doesn't depend on llvm-gcc above by Ted Kremenek · 17 years ago
- 59c2d26 Implemented transfer functions for "<<" and ">>" when the RValues are by Ted Kremenek · 17 years ago
- 562b4f3 Add instructions for building clang while building llvm. by Eric Christopher · 17 years ago