Commits · 0fff6d3c06fe3b86904580f523a0f77f12eefd1b · Lorenzo Albano / LLVM bpEVL · GitLab

Jul 19, 2008
- Patch by · 0fff6d3c
  Ted Kremenek authored Jul 19, 2008
  0fff6d3c
- Reimplement ccc-analyzer in a language I actually know, and implement some... · f7ffd665
  Ted Kremenek authored Jul 19, 2008
  f7ffd665
- Remove typo. · d2d12296
  Ted Kremenek authored Jul 18, 2008
  d2d12296
- Quote invocation of clang in pipe to handle paths with spaces. · 2a6b0b5d
  Ted Kremenek authored Jul 18, 2008
  2a6b0b5d
Jul 18, 2008
- Added test case. · 8857703b
  Ted Kremenek authored Jul 18, 2008
  8857703b
- Update checker build. · 6f2c46a2
  Ted Kremenek authored Jul 18, 2008
  6f2c46a2
- "currentHandler" is a nullary selector · f41b1c45
  Ted Kremenek authored Jul 18, 2008
  f41b1c45
- Fix caching bug. · f7faa42c
  Ted Kremenek authored Jul 18, 2008
  f7faa42c
- Add panic support for NSAssertionHandler. · 3b2294c7
  Ted Kremenek authored Jul 18, 2008
  3b2294c7
- Prevent clang from emitting output when input has errors · 155ed243
  Daniel Dunbar authored Jul 18, 2008
  155ed243
- Add panic function. · d7854651
  Ted Kremenek authored Jul 18, 2008
  d7854651
- Fix 80 col violation · 36f6b042
  Ted Kremenek authored Jul 18, 2008
  36f6b042
- Fix regression by explicitly checking if we are negating a SymIntConstantVal. · b1c91bfc
  Ted Kremenek authored Jul 18, 2008
  b1c91bfc
- Improve path-sensitivity when using the logical not operator. · 6a62d908
  Ted Kremenek authored Jul 18, 2008
  6a62d908
- Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is... · 91614e6f
  Ted Kremenek authored Jul 18, 2008
  91614e6f
- Created ValueStateSet class to manage the creation of multiple states by a method. · 8d6b42e0
  Ted Kremenek authored Jul 18, 2008
  8d6b42e0
- Remove dead method. · 07242932
  Ted Kremenek authored Jul 18, 2008
  07242932
- Add support shufpd · 194c58f5
  Mon P Wang authored Jul 18, 2008
  194c58f5
- Update signature of EvalAssume. · e330aacb
  Ted Kremenek authored Jul 17, 2008
  e330aacb
- Provide static methods in BinaryOperator to determine if an opcode is an... · 2fe3afca
  Ted Kremenek authored Jul 17, 2008
  2fe3afca
- Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. · 9c32a1ec
  Ted Kremenek authored Jul 17, 2008
  9c32a1ec
- Added headers · 99768881
  Ted Kremenek authored Jul 17, 2008
  99768881
Jul 17, 2008
- Remove redundant logic. · a79d9a9c
  Ted Kremenek authored Jul 17, 2008
  a79d9a9c
- Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of... · bc9118b1
  Ted Kremenek authored Jul 17, 2008
  bc9118b1
- Fix for codegen crash on multibit bool bitfield initialization · 1f32c759
  Daniel Dunbar authored Jul 17, 2008
  1f32c759
- Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual... · 88a6b7fa
  Ted Kremenek authored Jul 17, 2008
  88a6b7fa
- We now build universal binaries of the checker. · 9ace8033
  Ted Kremenek authored Jul 17, 2008
  9ace8033
- Unify ctx_iterator/ctx_begin()/ctx_end() and iterator/begin()/end() so that a... · ef34aed1
  Argyrios Kyrtzidis authored Jul 17, 2008
  ef34aed1
- RewriteObjC::SynthMessageExpr(): Fix super rewrite (a fairly recent regression). · 97adf604
  Steve Naroff authored Jul 16, 2008
  97adf604
Jul 16, 2008
- When in C++, make EnumConstant names hide tag names in the same scope, instead... · bd25998a
  Argyrios Kyrtzidis authored Jul 16, 2008
  bd25998a
- Remove a FIXME from RewriteObjC::RewriteObjCSynchronizedStmt(). · d7ebc054
  Steve Naroff authored Jul 16, 2008
  d7ebc054
- RewriteObjC::Initialize(): add function decls used by @synchronized. · 8dd1525b
  Steve Naroff authored Jul 16, 2008
  8dd1525b
- Two fixes: · de7d0f69
  Steve Naroff authored Jul 16, 2008
  de7d0f69
- RewriteObjC::RewriteObjCTryStmt():Don't synthesize a catch begin if there are 0 catch clauses. · ce2dca18
  Steve Naroff authored Jul 16, 2008
  ce2dca18
- Teach RewriteObjC::RewriteObjCMethodDecl() to deal with pointer to function return types. · b067bbd0
  Steve Naroff authored Jul 16, 2008
  b067bbd0
- When checking for name collision between a tag and a previously defined... · 7da34d05
  Argyrios Kyrtzidis authored Jul 16, 2008
  7da34d05
- Add 'this' in the comments of Parser::ParseCastExpression to indicate that it is handled. · 16c04102
  Argyrios Kyrtzidis authored Jul 16, 2008
  16c04102
- Updated latest checker build. · de372536
  Ted Kremenek authored Jul 16, 2008
  de372536
- Fix regression introduced by... · ae543148
  Ted Kremenek authored Jul 16, 2008
  ae543148
- Have scan-build control default analyses. · 803d9ef9
  Ted Kremenek authored Jul 15, 2008
  803d9ef9