Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pUqOL-0001PA-OI for pgsql-bugs@arkaria.postgresql.org; Wed, 22 Feb 2023 14:46:45 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.92) (envelope-from ) id 1pUqOK-0003zC-J3 for pgsql-bugs@arkaria.postgresql.org; Wed, 22 Feb 2023 14:46:44 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pUq2W-00016e-4I for pgsql-bugs@lists.postgresql.org; Wed, 22 Feb 2023 14:24:12 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by magus.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pUq2R-0003kv-TL for pgsql-bugs@lists.postgresql.org; Wed, 22 Feb 2023 14:24:11 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Message-ID:Date:Reply-To:Cc:From:To:Subject: MIME-Version:Content-Type:Sender:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=yg+3nUMZJn3VQeR1UOWkYHlC6MBRAuDf4GrTpS5oqK0=; b=xQqme97caEq1NoaIPI9O+AyTdL EC0vB/lo57NG6uZgsK5R33vG8+O5imuZgMaKeE/BDtq5jZmB8LDGcobjRBz6FPS9bGYmX/y6inzNu pX/Hiz5kx/OwuHdvlCIWgNDWj05ytfhrnDHuRH2rijUo8fVrTZl2xWMbQQCY6fK1VsjrH1YBWL3vo zcOyriEq4TAb+UicgL0tder33UyN3N5iKzrZAdI38Q15s6Kbe5umFLwl2AhweANs9orNz5bp/e5bA ANXfAdKC3Ji4peXOjyFR6+gshUTXnnCwrgVioxG1yo/IO7EzsIpl/U46VTFKfk6o2Q/yEe3O1LL3Y 7+Z+5xAw==; Received: from wrigleys.postgresql.org ([2a02:c0:301:0:ffff::34]) by mahout.postgresql.org with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pUq2O-0005El-G8 for pgsql-bugs@lists.postgresql.org; Wed, 22 Feb 2023 14:24:06 +0000 Received: from localhost ([127.0.0.1] helo=wrigleys.postgresql.org) by wrigleys.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1pUq2L-000a3E-CB for pgsql-bugs@lists.postgresql.org; Wed, 22 Feb 2023 14:24:02 +0000 Content-Type: multipart/mixed; boundary="===============7281251617734850351==" MIME-Version: 1.0 Subject: BUG #17805: Unexpected results when bounds of FOR loop use non-integer numbers To: pgsql-bugs@lists.postgresql.org From: PG Bug reporting form Cc: jiangshan.liu@tju.edu.cn Reply-To: jiangshan.liu@tju.edu.cn, pgsql-bugs@lists.postgresql.org Date: Wed, 22 Feb 2023 14:23:11 +0000 Message-ID: <17805-274c2f3650367138@postgresql.org> X-Auto-Response-Suppress: All Auto-Submitted: auto-generated List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============7281251617734850351== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl ZmVyZW5jZTogICAgICAxNzgwNQpMb2dnZWQgYnk6ICAgICAgICAgIEppYW5nc2hhbiBMaXUKRW1h aWwgYWRkcmVzczogICAgICBqaWFuZ3NoYW4ubGl1QHRqdS5lZHUuY24KUG9zdGdyZVNRTCB2ZXJz aW9uOiAxNS4yCk9wZXJhdGluZyBzeXN0ZW06ICAgVWJ1bnR1IDE4LjA0CkRlc2NyaXB0aW9uOiAg ICAgICAgCgpJIGdvdCB1bmV4cGVjdGVkIHJlc3VsdHMgd2hlbiBJIHJhbiB0aGlzIFBML3BnU1FM IGZ1bmN0aW9uOiANCg0KQ1JFQVRFIEZVTkNUSU9OIHRlc3QoKSBSRVRVUk5TIHZvaWQgQVMgJCQN CkJFR0lODQogIEZPUiBpIElOIDEgLi4gMC41KjUgTE9PUA0KCSAgcmFpc2Ugbm90aWNlICclJywg aTsNCglFTkQgTE9PUDsNCkVORDsNCiQkIExBTkdVQUdFIHBscGdzcWw7DQpTRUxFQ1QgKiBGUk9N IHRlc3QoKTsNCg0KVGhlIHJlc3VsdCBvZiB0aGUgZXhlY3V0aW9uIGlzOg0KTk9USUNFOiAgMQ0K Tk9USUNFOiAgMg0KTk9USUNFOiAgMw0KDQpJIHRoaW5rIHRoaXMgcmVzdWx0IGlzIHVuZXhwZWN0 ZWQgYmVjYXVzZSB0aGUgbGFzdCByb3VuZCBvZiBsb29wIHZhcmlhYmxlIGlzCmJleW9uZCB0aGUg c3BlY2lmaWVkIHVwcGVyIGJvdW5kIG9mIHRoZSBsb29wLiBJcyB0aGlzIGEgYnVnIGluIGEgRk9S IGxvb3A/DQpJIG5vdGljZWQgdGhhdCB0aGUgZG9jdW1lbnRhdGlvbiBkZXNjcmliZXMgaXQgdGhp cyB3YXk6DQogICAgVGhlIHR3byBleHByZXNzaW9ucyBnaXZpbmcgdGhlIGxvd2VyIGFuZCB1cHBl ciBib3VuZCBvZiB0aGUgcmFuZ2UgYXJlCmV2YWx1YXRlZCBvbmNlIHdoZW4gZW50ZXJpbmcgdGhl IGxvb3BbMV0uDQpIb3dldmVyLCB0aGUgZG9jdW1lbnRhdGlvbiBkb2VzIG5vdCBtZW50aW9uIGhv dyB0aGUgdXBwZXIgYW5kIGxvd2VyIGJvdW5kcwp3ZXJlIGV2YWx1YXRlZC4gQmFzZWQgb24gdGhl IGFuYWx5c2lzIG9mIHRoZSBleGVjdXRpb24sIGl0IGFwcGVhcnMgdGhhdCB0aGUKRk9SIGxvb3Ag c2VlbXMgdG8gaW1wbGljaXRseSBjb252ZXJ0IHRoZSBOVU1FUklDIHR5cGUgdXBwZXIgYm91bmQg dmFsdWUKKDIuNSkgdG8gSU5UIHR5cGUgdmFsdWUgKDMpIGJ5IHJvdW5kaW5nLg0KQnV0IHRoaXMg c2VlbXMgdG8gY2F1c2UgaW5jb21wcmVoZW5zaWJsZSByZXN1bHRzLiBJZiBpdCBpcyB1bnNhZmUg dG8gdGFrZQp2YWx1ZXMgb3V0c2lkZSB0aGUgdXBwZXIgYW5kIGxvd2VyIGJvdW5kcyBvZiB0aGUg bG9vcCwgdGhlbiB0aGlzIHdpbGwgbGVhZAp0byB1bmludGVuZGVkIGNvbnNlcXVlbmNlcy4gSXMg dGhpcyBpbXBsaWNpdCB0eXBlIGNvbnZlcnNpb24gbmVjZXNzYXJ5PyBJCnRoaW5rIHRoZXJlIGFy ZSB0d28gYmV0dGVyIHdheXMgdG8gZG8gaXQuDQpPbmUgaXMgdG8gcmVwb3J0IGVycm9ycyBkaXJl Y3RseSB0byB0aGUgdXNlci4gUGFzY2FsIGFuZCBBZGEgbGFuZ3VhZ2VzCnN1cHBvcnQgRk9SIGxv b3BzIG9mIGludGVnZXIgdmFyaWFudCwgYW5kIHRoZXkgdGhyb3cgZXJyb3JzIHRvIHRoZSB1c2Vy IHdoZW4KdGhlcmUgYXJlIG5vbi1pbnRlZ2VyIHZhcmlhbnQgaW4gdGhlIHVwcGVyIGFuZCBsb3dl ciBib3VuZHMgb2YgdGhlIGxvb3AuDQpUaGUgc2Vjb25kIGlzIHRvIHVzZSBhbiBpbXBsaWNpdCB0 eXBlIGNvbnZlcnNpb24gZnJvbSBpbnRlZ2VyIHRvCm5vbi1pbnRlZ2VyLCBmb2xsb3dlZCBieSBh IGNvbXBhcmlzb24sIHRvIGVuc3VyZSB0aGF0IHRoZSBsb29wIGRvZXMgbm90CmV4Y2VlZCB0aGUg dXBwZXIgYW5kIGxvd2VyIGJvdW5kcywganVzdCBsaWtlIG90aGVyIHByb2NlZHVyYWwgbGFuZ3Vh Z2VzCihlLmcuIEMsIFB5dGhvbiwgZXRjLikuDQoNClsxXQpodHRwczovL3d3dy5wb3N0Z3Jlc3Fs Lm9yZy9kb2NzL2N1cnJlbnQvcGxwZ3NxbC1jb250cm9sLXN0cnVjdHVyZXMuaHRtbCNQTFBHU1FM LUNPTlRST0wtU1RSVUNUVVJFUy1MT09QUzp+OnRleHQ9b2YlMjB0aGUlMjByYW5nZS0sYXJlJTIw ZXZhbHVhdGVkJTIwb25jZSwtd2hlbiUyMGVudGVyaW5nJTIwdGhlCgo= --===============7281251617734850351==--