[PATCH] D115149: [analyzer][solver] Fix assertion on (NonLoc, Op, Loc) expressions

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Dec 15 10:58:12 PST 2021


ASDenysPetrov added a comment.

@martong
Thanks for clarification.

> TLDR, it is recommended to use the arcanist.

I'm not able to use arcanist. It doesn't work on Windows (at least I've tryed several ways to set up it).

BTW. I found a revision from which the test(//symbol-simplification-nonloc-loc.cpp//) file starts to assert. It's your one D113754 <https://reviews.llvm.org/D113754>. You can checkout a revision before and test the file. I think we should investigate it deeper to understand the real cause.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D115149/new/

https://reviews.llvm.org/D115149



More information about the cfe-commits mailing list