[clang][dataflow] Do not allow substitution of true/false boolean literals in `buildA...
authorWei Yi Tee <wyt@google.com>
Mon, 27 Jun 2022 18:53:07 +0000 (20:53 +0200)
committerDmitri Gribenko <gribozavr@gmail.com>
Mon, 27 Jun 2022 19:04:52 +0000 (21:04 +0200)
commitfa34210fa69f64a96dc64983b3de00ddd21e55e1
tree30de6545e680578a2dba5a5aec702735c67e139a
parent4db52450c1a444ccb5c0c27b631e06b4902c0300
[clang][dataflow] Do not allow substitution of true/false boolean literals in `buildAndSubstituteFlowCondition`

Reviewed By: gribozavr2, xazax.hun

Differential Revision: https://reviews.llvm.org/D128658
clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
clang/unittests/Analysis/FlowSensitive/DataflowAnalysisContextTest.cpp