Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 41f3f3a4792f46787632fdb94f952f6b3ce3f4ae / lib / StaticAnalyzer / Core / ExprEngineC.cpp
  1. 41f3f3a Silence a number of static analyzer warnings with assertions and such. by Jordan Rose · 11 years ago
  2. b078054 Remove the CFGElement "Invalid" state. by David Blaikie · 12 years ago
  3. f08740b Fix regression in modeling assignments of an address of a variable to itself. Fixes <rdar://problem/13226577>. by Ted Kremenek · 12 years ago
  4. 7a95de6 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  5. fdf6a27 Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  6. dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
  7. 5251abe Replace SVal llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  8. 8135886 [analyzer] Remove redundant check as per Jordan's feedback. by Anna Zaks · 12 years ago
  9. 2b68761 [analyzer] Don't reinitialize static globals more than once along a path by Anna Zaks · 12 years ago
  10. e6b9d80 Implement OpenCL event_t as Clang builtin type, including event_t related OpenCL restrictions (OpenCL 1.2 spec 6.9) by Guy Benyei · 12 years ago
  11. 9195caf Refine analyzer's handling of unary '!' and floating types to not assert. by Ted Kremenek · 12 years ago
  12. 707a865 Correctly propagate uninitialized values within logical expressions. by Ted Kremenek · 12 years ago
  13. 9852f58 Don't include Type.h in DeclarationName.h. by Benjamin Kramer · 12 years ago
  14. 1994e39 Fix another false positive due to a CXX temporary object appearing in a C initializer. by Ted Kremenek · 12 years ago
  15. 352c657 [analyzer] Fix a crash PR13762. by Anna Zaks · 12 years ago
  16. d047135 [analyzer] Don't attempt to create a floating-point value of "1" for ++/--. by Jordan Rose · 12 years ago
  17. a6c66ce Change the representation of builtin functions in the AST by Eli Friedman · 12 years ago
  18. c210cb7 [analyzer] Inline constructors for any object with a trivial destructor. by Jordan Rose · 12 years ago
  19. 0156439 [analyzer] For now, treat pointers-to-members as non-null void * symbols. by Jordan Rose · 12 years ago
  20. c386d8f [analyzer] Handle UserDefinedConversion casts in C++. by Jordan Rose · 12 years ago
  21. 66c486f Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. by Ted Kremenek · 12 years ago
  22. 3b1df8b Rename 'getConjuredSymbol*' to 'conjureSymbol*'. by Ted Kremenek · 12 years ago
  23. 32a549a Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and by Ted Kremenek · 12 years ago
  24. fa06f04 [analyzer] Replace boolean IsSink parameters with 'generateSink' methods. by Jordan Rose · 12 years ago
  25. 7f839a6 [analyzer] The result of && or || is always a 1 or 0. by Jordan Rose · 12 years ago
  26. 2c5f8d7 [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base. by Jordan Rose · 12 years ago
  27. c7ecc43 [analyzer] Add a checker to manage dynamic type propagation. by Anna Zaks · 12 years ago
  28. 148fee9 [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM by Anna Zaks · 12 years ago
  29. 6da6049 Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr by Ted Kremenek · 12 years ago
  30. e460c46 [analyzer] Don't crash on array constructors and destructors. by Jordan Rose · 12 years ago
  31. 469841a Update ExprEngine's handling of ternary operators to find the ternary expression by Ted Kremenek · 12 years ago
  32. 89e5aaf [analyzer] Handle new-expressions with initializers for scalars. by Jordan Rose · 12 years ago
  33. f85f60a Prevent unused-variable warning in optimized builds. by Daniel Jasper · 12 years ago
  34. 3f635c0 Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but by Ted Kremenek · 12 years ago
  35. 48b6247 [analyzer] Construct stack variables directly in their VarDecl. by Jordan Rose · 12 years ago
  36. 333e05f [analyzer] Add a comment: why we treat array compound literals as lvalues. by Jordan Rose · 12 years ago
  37. 3083d3c [analyzer] Array CompoundLiteralExprs need to be treated like lvalues. by Jordan Rose · 12 years ago
  38. 5b8c694 Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts." by Jordan Rose · 12 years ago
  39. 570d03c [analyzer] Treat LValueBitCasts like regular pointer bit casts. by Jordan Rose · 12 years ago
  40. e41458c [analyzer] Don't crash on LValBitCast by Anna Zaks · 12 years ago
  41. 13dd47a [analyzer] Bind UnknownVal to InitListExpr for unsupported types (ex: float). by Anna Zaks · 12 years ago
  42. 591b5f5 [analyzer] For locations, use isGLValue() instead of isLValue(). by Anna Zaks · 12 years ago
  43. 85d87df Explicitly model capturing variables for blocks in the static analyzer. Fixes <rdar://problem/11125868>. by Ted Kremenek · 12 years ago
  44. e55a14a [analyzer] Conjure a symbol to ensure we can identify pointer arithmetic by Anna Zaks · 12 years ago
  45. 7ea1c56 [analyzer] dynamic_cast Simplify null value generation. by Anna Zaks · 12 years ago
  46. a2c8d2e [analyzer] dynamic_cast: Better model cast from a reference. by Anna Zaks · 12 years ago
  47. e19f86e [analyzer] Add support for C++ dynamic_cast. by Anna Zaks · 12 years ago
  48. bd61313 Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode by Ted Kremenek · 12 years ago
  49. b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 12 years ago
  50. 4e4d084 Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). by David Blaikie · 12 years ago
  51. ac1303e Generate an AST for the conversion from a lambda closure type to a by Douglas Gregor · 13 years ago
  52. 3133f79 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 13 years ago
  53. 4d4e5c1 Split reinterpret_casts of member pointers out from CK_BitCast; this by John McCall · 13 years ago
  54. 9050e3a Remove recusive expression visitation in ExprEngine::VisitIncrementDecrementOperator(). by Ted Kremenek · 13 years ago
  55. a91ac5b Remove recursive visitation in ExprEngine for UO_Not, UO_Minus, UO_LNot. by Ted Kremenek · 13 years ago
  56. 224c489 Remove recursive visitation in ExprEngine for UO_Deref, UO_AddrOf, and UO_Extension. by Ted Kremenek · 13 years ago
  57. c1e08dc Remove ExprEngine recursive visitation of unary UO_Imag operation. by Ted Kremenek · 13 years ago
  58. 0193166 Further remove some recursive visitiation in ExprEngine that is no longer needed because the CFG is fully linearized. by Ted Kremenek · 13 years ago
  59. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
  60. 7a7ee30 Some improvements to the handling of C11 atomic types: by David Chisnall · 13 years ago
  61. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
  62. 80d4b55 Small refactoring and simplification of constant evaluation and some of its by Richard Smith · 13 years ago
  63. 084842d [analyzer] Simplify the condition. by Anna Zaks · 13 years ago
  64. 76462f0 [analyzer] Remove all uses of ConstraintManager::canResonAbout() from by Anna Zaks · 13 years ago
  65. 3cdf584 [analyzer] First step toward removing by Anna Zaks · 13 years ago
  66. 0d339d0 [analyzer] Do not conjure a symbol when we need to propagate taint. by Anna Zaks · 13 years ago
  67. 7864435 Rip out CK_GetObjCProperty. by John McCall · 13 years ago
  68. 92d3dda Remove unused variables. by Benjamin Kramer · 13 years ago
  69. 6889679 [analyzer] Make sure the child builder use temporary destination sets by Anna Zaks · 13 years ago
  70. 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
  71. 2e9264a [analyzer] Remove unused headers. by Anna Zaks · 13 years ago
  72. aa0aeb1 [analyzer] Node builders cleanup + comments by Anna Zaks · 13 years ago
  73. 056c4b4 [analyzer] Completely remove the global Builder object. by Anna Zaks · 13 years ago
  74. ebae6d0 [analyzer] Convert ExprEngine::visit() to use short lived builders. by Anna Zaks · 13 years ago
  75. d231d01 [analyzer] Convert VisitDeclStmt to use local node builder. by Anna Zaks · 13 years ago
  76. 6b6152b [analyzer] Convert more functions (ex:evalBind()) to iterative builders by Anna Zaks · 13 years ago
  77. 8ad8c54 [analyzer] Convert VisitUnaryOperator to use short lived Node builders by Anna Zaks · 13 years ago
  78. eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
  79. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  80. 33e56f3 Rename the ARC cast kinds to start with "ARC". by John McCall · 13 years ago
  81. dc05b11 When converting a block pointer to an Objective-C pointer type, extend by John McCall · 13 years ago
  82. 1d9b3b2 Give conversions of block pointers to ObjC pointers a different cast kind by John McCall · 13 years ago
  83. 93bd5ca [analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we were ignoring it anyway. No functionality change. by Jordy Rose · 13 years ago
  84. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
  85. d203c02 [analyzer] Simplify ExprEngine::VisitBinaryOperator() by removing recursive visit to subexpressions (which is no longer needed). by Ted Kremenek · 13 years ago
  86. 294fd0a Start partitioning ExprEngine.cpp into separate .cpp files that handle different parts by Ted Kremenek · 13 years ago