[PATCH] D43741: [Analyzer] More accurate modeling about the increment operator of the operand with type bool.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 5 14:01:34 PST 2018

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

LGTM, thank you for the fix!

> I not familiar with Objective-C++, can you provide a appropriate test about Objective-C++ for me, thank you!

Now that the explicit check and the respective code path is removed, i don't think we should explicitly test it.

> And I'm not a native speaker of English

Same here, i guess.

Comment at: test/Analysis/_Bool-increment-decrement.c:1-2
+// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -analyzer-store=region -verify -std=c99 -Dbool=_Bool -Dtrue=1 -Dfalse=0 %s
+// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -analyzer-store=region -verify -std=c11 -Dbool=_Bool -Dtrue=1 -Dfalse=0 %s
+extern void clang_analyzer_eval(bool);
We don't write `-analyzer-store=region` these days because that's the default value and it's unlikely that anybody would ever care.

  rC Clang


More information about the cfe-commits mailing list