[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Fwd: --random-random will hang

We're probably not going to fix bugs where Csmith hangs.

We'll definitely fix crashes or incorrect generated code.

John





On 05/12/2011 09:28 PM, haihao shen wrote:

Similar to the random-random, but when I used the parameter
"select_deref_pointer_prob=100" and generated the test cases, Csmith
will also hang.

You could try several times and I believe you could reproduce the hang
issue.

Thanks,
Haihao

On Fri, May 13, 2011 at 11:22 AM, John Regehr <regehr@cs.utah.edu
<mailto:regehr@cs.utah.edu>> wrote:

    What is the problem?

    Whatever it is, we can't reproduce it without a copy of the
    configuration file you're using.

    John




    On 05/12/2011 09:19 PM, haihao shen wrote:

        Again, I modified the random configure file and also found
        csmith hangs.

        I am not sure whether it is a known issue.

        /*
          * This is a RANDOMLY GENERATED PROGRAM.
          *
          * Generator: csmith 2.0.0
          * svn version: exported
          * Options:   --probability-configuration
        csmith_select_deref_pointer_prob_100.prob
          * Seed:      1364079531
          */

        #include "csmith.h"


        long __undefined;


        Thanks,
        Haihao

        ---------- Forwarded message ----------
        From: *haihao shen* <haihaoshen@gmail.com
        <mailto:haihaoshen@gmail.com> <mailto:haihaoshen@gmail.com
        <mailto:haihaoshen@gmail.com>>>
        Date: Fri, May 13, 2011 at 11:12 AM
        Subject: --random-random will hang
        To: csmith-dev <csmith-dev@flux.utah.edu
        <mailto:csmith-dev@flux.utah.edu>
        <mailto:csmith-dev@flux.utah.edu <mailto:csmith-dev@flux.utah.edu>>>


        Hi,

        I used "--random-random" as parameter of csmith to generate the
        cases.
        However, some cases will hang (as follows)

        /*
          * This is a RANDOMLY GENERATED PROGRAM.
          *
          * Generator: csmith 2.0.0
          * svn version: exported
          * Options:   --random-random
          * Seed:      3278010089
          */

        #include "csmith.h"


        long __undefined;

        ======================================

        /*
          * This is a RANDOMLY GENERATED PROGRAM.
          *
          * Generator: csmith 2.0.0
          * svn version: exported
          * Options:   --random-random
          * Seed:      1839207966
          */

        #include "csmith.h"


        long __undefined;


        Could anyone please explain it or tell me how to solve it?

        Thanks,
        Haihao