[PATCH] D28953: [analyzer] Eliminate analyzer limitations on symbolic constraint generation

[Matt Morehouse via Phabricator via cfe-commits]

morehouse added a comment.

r307833 is causing the sanitizer-x86_64-linux-fast buildbot <http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fast/builds/6373> to fail during clang regression tests with the following error:

  clang: /mnt/b/sanitizer-buildbot3/sanitizer-x86_64-linux-fast/build/llvm/tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:55: virtual clang::ento::ProgramStateRef clang::ento::RangedConstraintManager::assumeSym(clang::ento::ProgramStateRef, clang::ento::SymbolRef, bool): Assertion `Loc::isLocType(SSE->getLHS()->getType())' failed.

Could you please revert and/or fix this revision?


Repository:
  rL LLVM

https://reviews.llvm.org/D28953