Merge in trunk.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/wide-int@209944 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 19 insertions, 0 deletions

diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index b1e21b8b47c..99e1920a070 100644
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -1803,6 +1803,25 @@ evaluate_stmt (gimple stmt)
 	      val = bit_value_assume_aligned (stmt, NULL_TREE, val, false);
 	      break;
 
+	    case BUILT_IN_ALIGNED_ALLOC:
+	      {
+		tree align = get_constant_value (gimple_call_arg (stmt, 0));
+		if (align
+		    && tree_fits_uhwi_p (align))
+		  {
+		    unsigned HOST_WIDE_INT aligni = tree_to_uhwi (align);
+		    if (aligni > 1
+			/* align must be power-of-two */
+			&& (aligni & (aligni - 1)) == 0)
+		      {
+			val.lattice_val = CONSTANT;
+			val.value = build_int_cst (ptr_type_node, 0);
+			val.mask = double_int::from_shwi (-aligni);
+		      }
+		  }
+		break;
+	      }
+
 	    default:;
 	    }
 	}