[pushed] analyzer: handle volatile ops
Checks
Commit Message
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as r14-4040-g6319b5b2d46690.
gcc/analyzer/ChangeLog:
* region-model.cc (region_model::get_gassign_result): Handle
volatile ops by using a conjured_svalue.
gcc/testsuite/ChangeLog:
* c-c++-common/analyzer/volatile-1.c: New test.
---
gcc/analyzer/region-model.cc | 11 +++++++++++
.../c-c++-common/analyzer/volatile-1.c | 18 ++++++++++++++++++
2 files changed, 29 insertions(+)
create mode 100644 gcc/testsuite/c-c++-common/analyzer/volatile-1.c
@@ -729,6 +729,17 @@ region_model::get_gassign_result (const gassign *assign,
region_model_context *ctxt)
{
tree lhs = gimple_assign_lhs (assign);
+
+ if (gimple_has_volatile_ops (assign)
+ && !gimple_clobber_p (assign))
+ {
+ conjured_purge p (this, ctxt);
+ return m_mgr->get_or_create_conjured_svalue (TREE_TYPE (lhs),
+ assign,
+ get_lvalue (lhs, ctxt),
+ p);
+ }
+
tree rhs1 = gimple_assign_rhs1 (assign);
enum tree_code op = gimple_assign_rhs_code (assign);
switch (op)
new file mode 100644
@@ -0,0 +1,18 @@
+#include "../../gcc.dg/analyzer/analyzer-decls.h"
+
+volatile int g;
+
+void test_global (void)
+{
+ int v1 = g;
+ int v2 = g;
+ __analyzer_eval (v1 == v2); /* { dg-warning "UNKNOWN" } */
+}
+
+void test_local (void)
+{
+ volatile int x = 0;
+ int v1 = x;
+ int v2 = x;
+ __analyzer_eval (v1 == v2); /* { dg-warning "UNKNOWN" } */
+}