Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Successful run of analyzer integration tests on x86_64-pc-linux-gnu.
Pushed to trunk as r16-7560-gf310e487e1a5f0.
gcc/analyzer/ChangeLog:
PR analyzer/124104
* svalue.cc (unaryop_svalue::maybe_get_value_range): Bail out for
incompatible types.
gcc/testsuite/ChangeLog:
PR analyzer/124104
* c-c++-common/analyzer/casts-3.c: New test.
* gcc.dg/analyzer/ice-pr124104.c: New test.
Signed-off-by: David Malcolm <[email protected]>
---
gcc/analyzer/svalue.cc | 3 ++-
gcc/testsuite/c-c++-common/analyzer/casts-3.c | 13 +++++++++++++
gcc/testsuite/gcc.dg/analyzer/ice-pr124104.c | 9 +++++++++
3 files changed, 24 insertions(+), 1 deletion(-)
create mode 100644 gcc/testsuite/c-c++-common/analyzer/casts-3.c
create mode 100644 gcc/testsuite/gcc.dg/analyzer/ice-pr124104.c
diff --git a/gcc/analyzer/svalue.cc b/gcc/analyzer/svalue.cc
index 5cb0fafbf5da5..be9daced7e8ed 100644
--- a/gcc/analyzer/svalue.cc
+++ b/gcc/analyzer/svalue.cc
@@ -1585,7 +1585,8 @@ unaryop_svalue::maybe_get_value_range (value_range &out)
const
if (m_arg->maybe_get_value_range (arg_vr))
{
range_op_handler handler (m_op);
- if (handler)
+ if (handler
+ && handler.operand_check_p (type, arg_vr.type (), type))
{
/* For unary ops, range_op_hander::fold_range expects
a VARYING of the unknown value as the 2nd operand. */
diff --git a/gcc/testsuite/c-c++-common/analyzer/casts-3.c
b/gcc/testsuite/c-c++-common/analyzer/casts-3.c
new file mode 100644
index 0000000000000..432ccc85a5026
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/analyzer/casts-3.c
@@ -0,0 +1,13 @@
+#include "analyzer-decls.h"
+
+static int __attribute__((noipa))
+as_int (unsigned char c)
+{
+ return c;
+}
+
+void test_1 (unsigned char c)
+{
+ __analyzer_eval (as_int (c) >= 0); /* { dg-warning "TRUE" } */
+ __analyzer_eval (as_int (c) < 256); /* { dg-warning "TRUE" } */
+}
diff --git a/gcc/testsuite/gcc.dg/analyzer/ice-pr124104.c
b/gcc/testsuite/gcc.dg/analyzer/ice-pr124104.c
new file mode 100644
index 0000000000000..3a48d6bbd6e60
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/ice-pr124104.c
@@ -0,0 +1,9 @@
+short s;
+
+short
+foo()
+{
+ short t = 0;
+ __atomic_fetch_sub(&t, s, 0);
+ return t ?: 5;
+}
--
2.26.3
