diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-09-15 13:47:42 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-09-15 13:47:42 -0400 |
| commit | 6319b5b2d4669077e4ddf1e249eeb5602394693c (patch) | |
| tree | 5a9122bb148c7bb4b3bbbe416e635e797cb314b6 /gcc | |
| parent | 1cbf18978aa384bd0ed2dc29b107fc3423cf8e62 (diff) | |
| download | gcc-6319b5b2d4669077e4ddf1e249eeb5602394693c.zip gcc-6319b5b2d4669077e4ddf1e249eeb5602394693c.tar.gz gcc-6319b5b2d4669077e4ddf1e249eeb5602394693c.tar.bz2 | |
analyzer: handle volatile ops
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.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/region-model.cc | 11 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/analyzer/volatile-1.c | 18 |
2 files changed, 29 insertions, 0 deletions
diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index 2e774c2..c4e68661 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -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) diff --git a/gcc/testsuite/c-c++-common/analyzer/volatile-1.c b/gcc/testsuite/c-c++-common/analyzer/volatile-1.c new file mode 100644 index 0000000..f8440d4 --- /dev/null +++ b/gcc/testsuite/c-c++-common/analyzer/volatile-1.c @@ -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" } */ +} |