[PATCH] D113754: [Analyzer][Core] Simplify IntSym in SValBuilder

This revision was automatically updated to reflect the committed changes. Closed by commit rGffc32efd1cd6: [Analyzer][Core] Simplify IntSym in SValBuilder (authored by martong). Changed prior to commit: https://reviews.llvm.org/D113754?vs=386800&id=388927#toc Repository: rG LLVM Github Monor

[PATCH] D113754: [Analyzer][Core] Simplify IntSym in SValBuilder

steakhal added a comment. Great news, thanks. Comment at: clang/test/Analysis/svalbuilder-simplify-intsym.cpp:18 +return; + clang_analyzer_eval(x == 77); // expected-warning{{TRUE}} + (void)(x * y); extra spaces? Repository: rG LLVM Github Mon

[PATCH] D113754: [Analyzer][Core] Simplify IntSym in SValBuilder

martong added a comment. In D113754#3127245 , @steakhal wrote: > Great stuff. Have you checked the coverage? Thanks for the review! So, here are the coverage results for the new test file: 1186 2 : SVal VisitIntSymExpr(const IntSymExpr *

[PATCH] D113754: [Analyzer][Core] Simplify IntSym in SValBuilder

steakhal accepted this revision. steakhal added a comment. This revision is now accepted and ready to land. Great stuff. Have you checked the coverage? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D113754/new/ https://reviews.llvm.org/D113754

[PATCH] D113754: [Analyzer][Core] Simplify IntSym in SValBuilder

martong created this revision. martong added reviewers: steakhal, ASDenysPetrov, NoQ, Szelethus. Herald added subscribers: manas, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware, xazax.hun, whisperity. martong requested review of this revision. Hera