Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 72374594c5d9ade02451bc85cf9dfa5b0ea106e7 / lib / Analysis / GRExprEngine.cpp
  1. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  2. 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
  3. 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
  4. 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
  5. 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
  6. 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
  7. fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 16 years ago
  8. 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
  9. c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
  10. ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 16 years ago
  11. e121da4 More fixes in cast logic. by Ted Kremenek · 16 years ago
  12. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  13. 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 16 years ago
  14. a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 16 years ago
  15. dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 16 years ago
  16. f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 16 years ago
  17. 56627e6 remove static ctor. by Chris Lattner · 16 years ago
  18. 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 16 years ago
  19. 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 16 years ago
  20. b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 16 years ago
  21. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
  22. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  23. 21fe837 Implemented simple check in <rdar://problem/6600344>: When the receiver of a by Ted Kremenek · 16 years ago
  24. 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
  25. 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
  26. 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 16 years ago
  27. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
  28. 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 16 years ago
  29. 41573eb Static analyzer: by Ted Kremenek · 16 years ago
  30. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
  31. a8538d9 GRExprEngine: by Ted Kremenek · 16 years ago
  32. cad2996 GRExprEngine: When processing compound assignments, do a switch table lookup to get the non-compound opcode from the compound opcode instead of relying on the order of BinaryOperator::opcode values. This unbreaks the misc-ps.c test. by Ted Kremenek · 16 years ago
  33. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  34. 97c4d47 Remove dead code. by Zhongxing Xu · 16 years ago
  35. 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 16 years ago
  36. 1e2b1fc Move method out-of-line. by Ted Kremenek · 16 years ago
  37. d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 16 years ago
  38. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  39. 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 16 years ago
  40. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  41. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  42. 1a49af9 Add QualifiedDeclRefExpr, which retains additional source-location by Douglas Gregor · 16 years ago
  43. a5a4166 Fix initialization order. by Zhongxing Xu · 16 years ago
  44. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  45. 86f1940 Add support for member references (E1.E2, E1->E2) with C++ semantics, by Douglas Gregor · 16 years ago
  46. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  47. 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
  48. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  49. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  50. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  51. bbfd07a In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution. by Ted Kremenek · 16 years ago
  52. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  53. efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
  54. 759623e Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. by Ted Kremenek · 16 years ago
  55. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  56. 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
  57. d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
  58. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  59. a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
  60. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  61. 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
  62. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  63. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  64. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  65. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  66. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  67. 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
  68. 60595da Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20081110/009243.html by Ted Kremenek · 16 years ago
  69. 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago
  70. d291c8c Use the correct QualType when creating the '0' constant. by Ted Kremenek · 16 years ago
  71. e04a5cb Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. by Ted Kremenek · 16 years ago
  72. 06fb99f Second attempt at implementation transfer function support for ObjCForCollectionStmt. We now assume that the 'element' expression can be any lvalue. by Ted Kremenek · 16 years ago
  73. b460980 Add a new expression node, CXXOperatorCallExpr, which expresses a by Douglas Gregor · 16 years ago
  74. 37d682a Improve comments. by Zhongxing Xu · 16 years ago
  75. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  76. 6d82f9d Lift the pointer to alloca'ed region to the pointer to its first element. by Zhongxing Xu · 16 years ago
  77. 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 16 years ago
  78. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  79. 116ed0a Shore up transfer function for ObjCForCollectionStmt. by Ted Kremenek · 16 years ago
  80. af33741 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. by Ted Kremenek · 16 years ago
  81. 0518999 Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types. by Sebastian Redl · 16 years ago
  82. 8341be7 silence a warning from gcc. by Chris Lattner · 16 years ago
  83. 60156f0 Add a boilerplate for out-of-bound array checking. This has no real function currently. by Zhongxing Xu · 16 years ago
  84. f22679e Finish the implementation of VisitCompoundLiteralExpr. As VisitInitListExpr is by Zhongxing Xu · 16 years ago
  85. b302133 Add transfer function logic for alloca(). by Ted Kremenek · 16 years ago
  86. e580c1b Comment out invalid assertion. I'm leaving it in the code for now as a reminder to produce a test case. by Ted Kremenek · 16 years ago
  87. d3118bd Fix 80-col violations. by Zhongxing Xu · 16 years ago
  88. da6b999 Add a tentative assertion. by Zhongxing Xu · 16 years ago
  89. a189dca Fix a comment. by Zhongxing Xu · 16 years ago
  90. a49e367 Handle the case in VisitInitListExprs where there are no initializers in the compound literal. by Ted Kremenek · 16 years ago
  91. 4456da5 Use the correct predecessor node. by Ted Kremenek · 16 years ago
  92. 8790307 Add missing return statement. by Ted Kremenek · 16 years ago
  93. f75b186 Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. by Ted Kremenek · 16 years ago
  94. 05d1c57 Merge the array and struct case. They are essentially the same. by Zhongxing Xu · 16 years ago
  95. 8cd5aae Rename: by Zhongxing Xu · 16 years ago
  96. c4f8706 Implement VisitInitListExpr(). InitListExpr will have a nonloc::CompoundVal value. by Zhongxing Xu · 16 years ago
  97. 2598b57 Mark yy_fatal_error as a panic function. by Ted Kremenek · 16 years ago
  98. 8b2e05d Rename: AddDecl => BindDecl by Zhongxing Xu · 16 years ago
  99. 6eec8e8 Rename ExplicitCCastExpr to CStyleCastExpr by Douglas Gregor · 16 years ago
  100. 9d293df Improve our handling of (C++) references within Clang. Specifically: by Douglas Gregor · 16 years ago