diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/lto-streamer-in.c | 6 |
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; } |