From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-362436-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6829 invoked by alias); 12 Jul 2011 15:21:02 -0000
Received: (qmail 6819 invoked by uid 22791); 12 Jul 2011 15:21:01 -0000
X-SWARE-Spam-Status: No, hits=-2.9 required=5.0	tests=ALL_TRUSTED,AWL,BAYES_00
X-Spam-Check-By: sourceware.org
Received: from localhost (HELO gcc.gnu.org) (127.0.0.1)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 12 Jul 2011 15:20:47 +0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/49651] [C++0x] nested lambdas and -O3 produced incorrect integer variable increments
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields:
Message-ID: <bug-49651-4-a4Pf2r4ZxH@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-49651-4@http.gcc.gnu.org/bugzilla/>
References: <bug-49651-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Date: Tue, 12 Jul 2011 15:21:00 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2011-07/txt/msg00920.txt.bz2

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49651

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-12 15:19:48 UTC ---
Shorter testcase that also terminates when successful:

#include <vector>
#include <algorithm>

extern "C" void abort (void);

typedef unsigned int u32;
using namespace std;
vector<u32> g;
void f(u32 a, u32 b)
{
  g.push_back(b);
  for(int i=1; i<g.size() && ! g.empty(); ++i)
    if ( g[i-1]+1 != g[i])
      abort ();
}

int main(int argc, char *argv[])
{
  int cnt = 256;
  u32 a = 0;
  vector<int> vi;
  vi.push_back(0);
  vi.push_back(1);
  vi.push_back(2);
  vi.push_back(3);
  vi.push_back(4);
  vector<int> vo;
  vo.push_back(5);
  vo.push_back(5);
  vector<int> ve;
  ve.push_back(5);
  vector<int> v3;
  vector<int> v4;
  vector<int> v5;
  vector<int> v6;
  vector<int> v7;

  f(32, a++);
  f(32, a++);

  auto run = [&](int& i) {
      // inside this lambda &a is not the same as the &a in the first line
      v3.push_back(i);
      v4.push_back(i);
      v5.push_back(i);
      v6.push_back(i);
      v7.push_back(i);
      f(32, a++);

      v3.push_back(i);
      v4.push_back(i);
      v5.push_back(i);
      v6.push_back(i);
      v7.push_back(i);
      f(32, a++);

      for_each(ve.begin(), ve.end(), [&](int& xi) {
               v7.push_back(xi);
               f(32, a++);
               });

      f(32, a++);
  };

  f(32, a++);

  while(--cnt) {
      for_each(vi.begin(), vi.end(), [&](int& xi) {
               f(32, a++);
               for_each(vo.begin(), vo.end(), run);
               f(32, a++);
               for_each(ve.begin(), ve.end(), run);
               f(32, a++);
               });
  }
}