[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-dev] Strict Aliasing and Csmith
- To: csmith-dev@flux.utah.edu
- Subject: [csmith-dev] Strict Aliasing and Csmith
- From: Alex Coplan <alex.coplan@arm.com>
- Date: Thu, 17 Sep 2020 15:45:58 +0100
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=UUZD6LUP3oI2OAIz1sLl6dvnMkgbjBEUTfU5n8d5/PI=; b=CpBL6XcwslvzA0UjcLz1CyaZE1msF+72dd70Z0HVbSy/28XcpH+cKogjrSw5DUumrDW0Uy2DkBJDGir0nEhBtKzmq7I2R+YTtPnbxxbfGlYE/WeRydK0gMSFXpOQklvVtjluyFv8tUvSyo4p2zcp7nY0uA4bohxVPZFTfz+u+Xhiw6o4Q+e0kAkXYxN/OAg0IXMzIx3tmQnfkBTQnqZYSls+9VA7Gp5tDGoGh4OjIrZu1U4YAzRBZ3juvNqB2MiuSLEpJXAAzLVlPOqyxL8JWCYcUkIg5kJs5LpbzMECKOmO7GmRm8kMDRsJ7Adu4CvV5eeewLGN+V76IPgeLWGXLw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XaKElIOF3DZ5OwVm+/ERuJBHhXjf6msFk3Njf2sa9RouZeiTVfiWRHaoUTV0AAotarKPKdv7SwhFy0ubBV/qp0OxHkGWdwrTZ2Li9pRVqfql8qX7JHyAkLOz15wq1zDVG6f8UStZSHyz8Wnb6xxVDhJ3GgK1E94U2D3C0ENexWyQ1bt7g5w3B2nFLPP7kkEHZ4ph2oDZq9lmvJkP4XzPjuaeQM6FD/HpeUa7/xJgMLtOIBsnO2CcQsxvZn4eeP9O6AxpeSyON2kt9HP47DWfF3fhZ8JJ1BH78x//M6egw4p7gQYLTb8u3JhSIMhvTUUZV6Zm0VGz3LmILYgvSDfYiw==
- Authentication-results-original: flux.utah.edu; dkim=none (message not signed) header.d=none; flux.utah.edu; dmarc=none action=none header.from=arm.com;
- Cc: nd@arm.com
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=UUZD6LUP3oI2OAIz1sLl6dvnMkgbjBEUTfU5n8d5/PI=; b=YOziI9VAyiWBBXzCmZVg7CvlxCEckLSw66mtTdTmEfY8tDRgaXSlMvkeAWCnAvxAVmFBOIJqP9/I0k+awNA9cUb68+RrgRVndu263ZTG2atizK+6txyu771YY8jK5HgwhlUPHbHe7HgXwIpRTu3xljs/u35PHjTj7lR27c1DN4I=
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=UUZD6LUP3oI2OAIz1sLl6dvnMkgbjBEUTfU5n8d5/PI=; b=YOziI9VAyiWBBXzCmZVg7CvlxCEckLSw66mtTdTmEfY8tDRgaXSlMvkeAWCnAvxAVmFBOIJqP9/I0k+awNA9cUb68+RrgRVndu263ZTG2atizK+6txyu771YY8jK5HgwhlUPHbHe7HgXwIpRTu3xljs/u35PHjTj7lR27c1DN4I=
- 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>
- Nodisclaimer: true
- Original-authentication-results: flux.utah.edu; dkim=none (message not signed) header.d=none; flux.utah.edu; dmarc=none action=none header.from=arm.com;
- User-agent: NeoMutt/20171215
Hello,
Firstly, I wanted to say thank you for Csmith. I started using it
yesterday and it's already found a few ICEs on GCC trunk:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97079
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97085
I have a quick question: is Csmith expected to produce code that's free
of strict aliasing violations?
I've run into a couple of instances where I believe it's produced strict
aliasing violations and I was wondering whether this was expected or
not.
Thanks,
Alex