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

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



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>
Date: Fri, May 13, 2011 at 11:12 AM
Subject: --random-random will hang
To: csmith-dev <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