Merge pull request gcc-mirror#86 from NinaRanns/contracts_ninaranns_issue6

fixing a lambda ICE

Author: villevoutilainen

gcc/cp/lambda.cc

@@ -464,6 +464,8 @@ build_capture_proxy (tree member, tree init)
 	    init = PACK_EXPANSION_PATTERN (init);
 	}
 
+      init = strip_contract_const_wrapper (init);
+
       if (INDIRECT_REF_P (init))
 	init = TREE_OPERAND (init, 0);
       STRIP_NOPS (init);

gcc/testsuite/g++.dg/contracts/cpp26/lambda.C

@@ -0,0 +1,5 @@
+// check that we do not crash when capturing a constified entity in a contract assertion lambda
+// { dg-do compile }
+// { dg-options "-std=c++2b -fcontracts -fcontracts-nonattr  " }
+void f(int i, int j) pre( [i, &j](){ return true;} ( ))
+{}