aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2009-11-18 16:13:09 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2009-11-18 16:13:09 +0000
commit7caa21fc327a7b32b707d906fa05683e992fc3fb (patch)
tree54af1c9d3b5fde22f6240af579858a1d6e9c2241
parent647e7a92de9c6fa599470926c989ca78784d8cbe (diff)
downloadgcc-7caa21fc327a7b32b707d906fa05683e992fc3fb.zip
gcc-7caa21fc327a7b32b707d906fa05683e992fc3fb.tar.gz
gcc-7caa21fc327a7b32b707d906fa05683e992fc3fb.tar.bz2
lto-streamer-in.c (input_gimple_stmt): Assert that we find a valid field decl if checking is enabled.
2009-11-18 Richard Guenther <rguenther@suse.de> * lto-streamer-in.c (input_gimple_stmt): Assert that we find a valid field decl if checking is enabled. From-SVN: r154298
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/lto-streamer-in.c6
2 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 07fbcf4..d316b74 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-18 Richard Guenther <rguenther@suse.de>
+
+ * lto-streamer-in.c (input_gimple_stmt): Assert that we find
+ a valid field decl if checking is enabled.
+
2009-11-18 Martin Jambor <mjambor@suse.cz>
* ipa-prop.h (struct ipa_param_call_note): New field lto_stmt_uid.
diff --git a/gcc/lto-streamer-in.c b/gcc/lto-streamer-in.c
index dcc92fd..751e7047 100644
--- a/gcc/lto-streamer-in.c
+++ b/gcc/lto-streamer-in.c
@@ -1090,7 +1090,11 @@ input_gimple_stmt (struct lto_input_block *ib, struct data_in *data_in,
}
/* In case of type mismatches across units we can fail
to unify some types and thus not find a proper
- field-decl here. Just do nothing in this case. */
+ field-decl here. So only assert here if checking
+ is enabled. */
+#ifdef ENABLE_CHECKING
+ gcc_assert (tem != NULL_TREE);
+#endif
if (tem != NULL_TREE)
TREE_OPERAND (op, 1) = tem;
}