tree-inline.c (expand_call_inline): Do not associate a BLOCK with the location in...

2013-03-08  Richard Biener  <rguenther@suse.de>

	* tree-inline.c (expand_call_inline): Do not associate
	a BLOCK with the location in BLOCK_SOURCE_LOCATION.
	* tree-cfg.c (verify_location): Verify BLOCK_SOURCE_LOCATION.

From-SVN: r196542

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c44b13bf69c4c52beb21916be47361f2f3c9b838..4002376f8f9f991c62d2600c345fb9edfbfcd101 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-03-08  Richard Biener  <rguenther@suse.de>
+
+       * tree-inline.c (expand_call_inline): Do not associate
+       a BLOCK with the location in BLOCK_SOURCE_LOCATION.
+       * tree-cfg.c (verify_location): Verify BLOCK_SOURCE_LOCATION.
+
 2013-03-08  Richard Biener  <rguenther@suse.de>
 
        * tree-ssa-ter.c (is_replaceable_p): Do not TER across location

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 83003fb8b44cf762131909b80a10ba87e8610a91..7be44e42e4b1aef1f99268532d66ab5cfd1948ab 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -4511,6 +4511,8 @@ verify_location (pointer_set_t *blocks, location_t loc)
       error ("location references block not in block tree");
       return true;
     }
+  if (block != NULL_TREE)
+    return verify_location (blocks, BLOCK_SOURCE_LOCATION (block));
   return false;
 }
 

diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
index 714bcf0fcb043dd941eec6730ea9bce2c8651476..5121765fd35bcfaceb5ec0ef621b1b826092189f 100644 (file)
--- a/gcc/tree-inline.c
+++ b/gcc/tree-inline.c
@@ -3929,7 +3929,7 @@ expand_call_inline (basic_block bb, gimple stmt, copy_body_data *id)
     {
       id->block = make_node (BLOCK);
       BLOCK_ABSTRACT_ORIGIN (id->block) = fn;
-      BLOCK_SOURCE_LOCATION (id->block) = input_location;
+      BLOCK_SOURCE_LOCATION (id->block) = LOCATION_LOCUS (input_location);
       prepend_lexical_block (gimple_block (stmt), id->block);
     }