Re: [csmith-dev] A new release?

[Yang Chen <chenyang@cs.utah.edu>]

Hi Detlef,

On 1/26/23 12:47, Detlef Riekenberg wrote:

>       
>       
>       
>       Parameters used for csmith: --float --seed 15380 --output
>       path/15380.c
>       
>

Yes, we don't guarantee UB-free code with --float option:

https://github.com/csmith-project/csmith/commit/b138a40da6c385023567c0f9f61d46d45286f524

"

Currently csmith is able to generate programs that can be compiled successfully, but full with
UBs caused by convertion from floating-point to integers where the floating-point value is
out of the range of integers.

"

On the other hand, please try --strict-float which avoids assignments between int and float values.

Sorry for the confusion!

- Yang