Commits · 9fdeb37bd346089488c5fe77a7edf16ee2f34cb1 · Lorenzo Albano / LLVM bpEVL · GitLab

Aug 29, 2014
- unique_ptrify the result of CFG::buildCFG/CFGBuilder::buildCFG · e90195c0
  David Blaikie authored Aug 29, 2014
  e90195c0
Aug 13, 2014
- Header guard canonicalization, clang part. · 2f5db8b3
  Benjamin Kramer authored Aug 13, 2014
  2f5db8b3
Jun 14, 2014
- Fix a crash in Retain Count checker error reporting · a6fea138
  Anna Zaks authored Jun 13, 2014
  a6fea138
May 20, 2014
- Add a check for tautological bitwise comparisons to -Wtautological-compare. · 7afd71e4
  Jordan Rose authored May 20, 2014
  7afd71e4
May 06, 2014
- [C++11] Use 'nullptr' · 34b4c438
  Craig Topper authored May 06, 2014
  34b4c438
Apr 05, 2014
- Add a new subgroup to -Wtautological-compare, -Wtautological-overlap-compare, · f935b562
  Richard Trieu authored Apr 05, 2014
  f935b562
Mar 29, 2014
- Improve -Wunreachable-code to provide a means to indicate code is... · ec3bbf49
  Ted Kremenek authored Mar 29, 2014
  ec3bbf49
Mar 09, 2014
- [C++11] Replace OwningPtr include with <memory>. · dfca6f97
  Ahmed Charles authored Mar 09, 2014
  dfca6f97
Mar 08, 2014
- Fix CFG bug where the 'isTemporaryDtorsBranch' bit was silently lost for terminators. · fcc1417f
  Ted Kremenek authored Mar 08, 2014
  fcc1417f
Feb 28, 2014
- CFG: Also apply the filter to the first block in a FilteredCFGBlockIterator. · 0e4bc4b3
  Benjamin Kramer authored Feb 28, 2014
  0e4bc4b3
Feb 27, 2014
- Rework CFG edges to encode potentially unreachable edges, instead of just making them NULL. · 4b6fee6c
  Ted Kremenek authored Feb 27, 2014
  4b6fee6c
Jan 13, 2014
- [analyzer] Add a CFG node for the allocator call in a C++ 'new' expression. · c9176072
  Jordan Rose authored Jan 13, 2014
  c9176072
Jan 09, 2014
- Update Clang's CFGBlock interface to conform to the strange part of · 439991d7
  Chandler Carruth authored Jan 09, 2014
  439991d7
Sep 25, 2013
- [analyzer] Handle destructors for the argument to C++ 'delete'. · 1ccc43d5
  Jordan Rose authored Sep 25, 2013
  1ccc43d5
Sep 03, 2013
- Add an implicit dtor CFG node just before C++ 'delete' expressions. · d2f4079d
  Jordan Rose authored Sep 03, 2013
  d2f4079d
Jun 06, 2013
- [analyzer; new edges] Simplify edges in a C++11 for-range loop. · cf10ea8c
  Jordan Rose authored Jun 06, 2013
  cf10ea8c
May 16, 2013
- Remove unused, awkward CFGStmtVisitor and subclasses. · a7f94ce8
  Jordan Rose authored May 15, 2013
  a7f94ce8
May 15, 2013
- Use only explicit bool conversion operator · 7d17010d
  David Blaikie authored May 15, 2013
  7d17010d
Mar 28, 2013
- Add CFG logic to create a conditional branch for modeling static initializers. · 0dd8feee
  Ted Kremenek authored Mar 28, 2013
  0dd8feee
- These are all simple pointer wrappers. Pass them by value. · cfbbecd8
  Rafael Espindola authored Mar 28, 2013
  cfbbecd8
Mar 27, 2013
- Cleanup clang's specializations of simplify_type. · fe310789
  Rafael Espindola authored Mar 27, 2013
  fe310789
Feb 23, 2013
- Remove the CFGElement "Invalid" state. · 00be69ab
  David Blaikie authored Feb 23, 2013
  00be69ab
Feb 21, 2013
- Replace CFGElement llvm::cast support to be well-defined. · 2a01f5d4
  David Blaikie authored Feb 21, 2013
  2a01f5d4
Dec 04, 2012
- Sort #include lines for all files under include/... · 6229d9a3
  Chandler Carruth authored Dec 04, 2012
  6229d9a3
Nov 30, 2012
- Update to reflect the change of macro name in r168993. · adc29e11
  Chandler Carruth authored Nov 30, 2012
  adc29e11
- Use the new LLVM_LVALUE_FUNCTION to ban two getAs() calls on rvalues. · ba101e1b
  Jordan Rose authored Nov 30, 2012
  ba101e1b
Oct 12, 2012
- Remove pointless classof()'s. · e2bb2ff5
  Sean Silva authored Oct 11, 2012
  e2bb2ff5
Sep 06, 2012
- [analyzer] Always include destructors in the analysis CFG. · 6d671cc3
  Jordan Rose authored Sep 05, 2012
  6d671cc3
Jun 09, 2012
- Replace constant-sized BitVector with std::bitset. · a74cf08e
  Benjamin Kramer authored Jun 09, 2012
  a74cf08e
Apr 30, 2012
- Correct CFGBlock's front() and back() to return by const ref rather than value. · 13ef0cfd
  David Blaikie authored Apr 30, 2012
  13ef0cfd
Dec 23, 2011
- Colorize and condense CFG pretty-printing. · 72be32af
  Ted Kremenek authored Dec 22, 2011
  72be32af
Dec 05, 2011
- [analyzer] Rely on LLVM Dominators in Clang dominator computation. · 02a1fc1d
  Anna Zaks authored Dec 05, 2011
  02a1fc1d
Nov 09, 2011
- Fixing 80 col violations (& removing any trailing whitespace on files I was touching anyway) · 21bfbf8d
  David Blaikie authored Nov 09, 2011
  21bfbf8d
Sep 13, 2011
- Add a bit to the CFGBlock to track when it contains a no-return · 75d78232
  Chandler Carruth authored Sep 13, 2011
  75d78232
- Enhance the CFG construction to detect no-return destructors for · ad74725a
  Chandler Carruth authored Sep 13, 2011
  ad74725a
Aug 24, 2011
- CFG: record set of C++ 'try' dispatch blocks, which could be of interest to... · 6b9964d2
  Ted Kremenek authored Aug 23, 2011
  6b9964d2
- Constify the result of CFGStmt::getStmt(). · adfb4454
  Ted Kremenek authored Aug 23, 2011
  adfb4454
Aug 13, 2011
- Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer... · 5ef32dbf
  Ted Kremenek authored Aug 12, 2011
  5ef32dbf
Jul 29, 2011
- [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be... · e9fda1e4
  Ted Kremenek authored Jul 28, 2011
  e9fda1e4
Jul 21, 2011
- Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. · 189ecec4
  Ted Kremenek authored Jul 21, 2011
  189ecec4