[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-dev] A new release?
- To: csmith-dev@flux.utah.edu
- Subject: [csmith-dev] A new release?
- From: Detlef Riekenberg <wine.dev@web.de>
- Date: Thu, 26 Jan 2023 21:47:25 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1674766045; bh=2xJDxQyNnwYh50BPtCGrLwj1u3wLUhKhydyfuN/EK+E=; h=X-UI-Sender-Class:From:To:Subject:Date; b=EHu2F7mGE8OfLcmbfUe/jFpS1Hl5AuhnO9eZBW0wRW7W8rVephZdJSBj6a/ki30J2 nQb76uaxF5wozfWOrVNd+piwpSQDHevr3vkEecG2OeAM81i0TPswcm+Wkms0brm3/l Px73zFc1FeScJCepAM1SWTw50Uo1w/YP8Uwb5Oi4lxpeY5jGT724DTUuSiZWXOU7P1 RokKts5iodkDFwjr8qebM3AHQ+Nt2RKs8tH6AVKQISoFjTnMEPBC4PnVKCOrnNNiIZ PMZ4shZuchSnRZrWFEnOnHgF9pJZMTdjzQDcrCrcCXHxsPH9wX75L6/fjiX/E8apFn OiM+g+Dfav2tA==
- 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:+jO58inbYPQ=;XvASXvmNCSFq8tU2PAG1Xnm/OZM +2pkY7T3OAhTFfin5odCi40wMhfnTHCxaCqdA+U0wly68oMqh0NfNk0fVu3DAxzXQ4/t3WSc8 WXZDjSiA7In0A7WNAz1vqJnh3QtoCruDpcrE07jbcSKOED2MyTT2wwzw6lS/yfpLQYsgd0xcR 6Nm9T5lf4PJZgTUjZsrZ7T+dLtPWL38ncy/UHawpntzOpjOAy05N5iPtFvT744Iz2GzITKPwc iGDLIX3BRPazyaUwPmD1ff6WXkWiwU1fvZt/srIPTXhTTQtI6dA9SJ2YrPwCp+FDsY9tumvG9 Rm1iYX5MdCV5MIwQSLyR2e6I8B9uew3xrn4jMmYdaa9w1jWi/P/j5NQ6ukL0+81+rMLwos1EB 3Ggw6Lj3Fxc7+MIjhIUCZgEIpZhUZbJUV+gYxACApJw54hEI5+GiUKpKonA3c/4OiqxG2cDHG Ozxr0T0A/sCiP17aPYB0WCgW9kvaRl0Tf5QVpbLvUJLDjENLu3OD5xJlwWF2eN2NwHQ314+A3 eAHQsYuOx+fLPC+NBcMrLJ8F2cjc7BgDgQikYloX3DuOhr9yIJtHjXHWm0lrPw9ZF37eonVyH vKbh6uRsB073VV2hIKSB3jcV80IWUZnMBMj6N8VUUdBFiOVQQWIqaOYgEL4t9Ag0Vj5n3Rc2m OqwmueLROs6ThCLbqp5hMartTV2MxX0577EqEOmXa2hE7ekunilVF2DyibqO84pk+jFTU6wjJ cP0RFm+shhR7XHV1rKIpdfWggbd+tOp90x1enB+CnTecgSnuY2wOUJHvzRqqM+MKsCdhNxfF5 kLqlHN16PejoOu+aWQfC7b7SGTNnhI709W6FIih5/QWzE=
Hi csmith team.
What do you think about a new release?
I used the latest package on my machine,
(which was 2.3.0: 30dccd7) and found lots of failures with tcc.
Searching the last failed short c file exposed an undefined behavior
(an out of range overflow while assigning a double to a short).
This is fixed in current git.
A more recent release would have avoided the failures.
Parameters used for csmith: --float --seed 15380 --output path/15380.c
(Yes, my script let run csmith and compilers for ~24h)
--
bye bye ... Detlef