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

[haihao shen <haihaoshen@gmail.com>]

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> 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>>
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>>


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