[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-dev] possible 'undefined behavior'
- To: csmith-dev@flux.utah.edu
- Subject: [csmith-dev] possible 'undefined behavior'
- From: Detlef Riekenberg <wine.dev@web.de>
- Date: Thu, 26 Jan 2023 22:34:11 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1674768852; bh=fREHo15zGZ/8nEggPPkTTrl24M2zRntgUGm9ReDj3ao=; h=X-UI-Sender-Class:From:To:Subject:Date; b=r7MgtYjvFQgWzxCIm1hWK5kVbR/oLKx+/39qx7C+Z4u8OY4Ze9uuL7b382mHc9Kka 3ZINsVKpVr3hTRlnJZZruiLCqXB3mAGt0Q0WThMau0ZvhdP1QAOrBZhT7FmwckvXkh oTD1AGtnskHbaMfhsozbRhdG0m1XZepEMC+H+r5HfofOb1TEs/f8UoVSbAT1Q195JJ prwWVNbQcmtlTljNTNB7mCKVmfGAUq52MkR4uQPgx24Y3yKoD/EWkL9AB+RziWhOwT 18AngWCtbV+544uxvP9oC238enSt40LgZ7+Z9LJNX1/fIc3DBjxAXjUbSUDt8bDOxr msnS5qfzonXpA==
- Importance: normal
- List-archive: </listarchives/csmith-dev>
- List-help: <mailto:csmith-dev-request@flux.utah.edu?subject=help>
- List-id: Csmith Development Mailing List <csmith-dev.flux.utah.edu>
- List-post: <mailto:csmith-dev@flux.utah.edu>
- List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=subscribe>
- List-unsubscribe: <http://www.flux.utah.edu/mailman/options/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=unsubscribe>
- Ui-outboundreport: notjunk:1;M01:P0:hWYDKf4qshA=;pneNbPymEbjrTDcPDH1vOrv8trJ V7f/Qy7paIcqhuL9n0ZYTk9APRh2gz/0+DJFZfRlVcpZE8JkWQnjKE+kCCjpe0nsuivKdv+L4 EMH+UDKNtD6lkhb7RfARbNROUhQjxnbkFgj3tHHuNcwaHQY4F44LJV8Cp5duOJQwT2bk1lDyM 0IcyhVIPuF7f+f1Ct3/ezdc4Fsj658FmYzrBYMROHM3oyqcTs6NOw+bbzCEQiwPx6+2Mq0fZb C1MdGxuIbVkg6xkAlE5c99wHbnx2D+B0voUInV035RM6zAUtw6yiOH3JvdHGKtK6ogGt0KSvB hOXJ4lqQXVBm8ydTB6Zak+hjmZCmHOCR8KCiPJH+WTZ7cMJmLKjxl8XjZO4jcIIkd9NLGMSIA ASseMmo/MjcpmXyspKaeOXvHtrDSCQ5immPXJ7v5rAyf0esEY7ct9dwWSQd008sOOfXV0t5JK JY1c68wdCUPEeojRaY6GhJyFYHiuKriwu41VhvQBVg8YObRTyOeqw4HXoQ9WOhKYNny3FobaS hIaPuj1B/5Bqe7Di7Zfkkf3sLyCiUDcb6w9hVafjoLPtemB17C2ieIVS6UOPzSNpGXRWwccrb LcKgpTuuyAr8o2F3G8ZYrphP67oJaBjVGFuQXaD7u4G8udcJGBzIsHtRgVkNNdW20C2nETsR4 tr6NvajJCQfL5i9aSEGrMwH7n6rktGlcX+UOFKvAxxYdzBfuEAlTiq3l1en4nSAm0pX/u99qY FtccTtGklbfRyc6xYo/qZL1rBCesC6hYaFPggwQz9/S6oINQYW5GXzzkqyrLK2AxFkQAs3WHd 7BvnCe4nxiRLSKMHGbf7LolNzSh7FJLhovflS7Cr3/04g=
When using my csmith.sh script with 'zig cc'
many programs crashed with default settings,
but they work, when using '-fno-sanitize=undefined'
I did not invesigate more in this behavior,
but 'clang' with '-fsanitize=undefined'
should produce the same failures.
example seeds between 0 and 99 : 18, 26, 28, 48, 55, 60
--
bye bye ... Detlef