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

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

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