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

Re: [csmith-bugs] Assertion fail



"Vikram" == Vikram KS <ksvikram@gmail.com> writes:

	Vikram> 1. I get an assertion fail with following options:
	Vikram> 
	Vikram>     $ csmith --no-volatiles --probability-configuration prob.txt  > test.c
	Vikram>     assertion "0" failed: file "CVQualifiers.cpp", line 557
	Vikram>     Aborted (core dumped)

To reproduce this bug, we need to know two things:

  + what version of Csmith you are running
  + the seed that Csmith chose that led to the crash

You should be able to get both of these from output file ("text.c").
Can you provide us with those things?

	Vikram> 2. Also now if i set regular_volatile_prob=100 in prob.txt, and
	Vikram>    run the following, the csmith sometime hangs(it doesn't come
	Vikram>    out at all), someother time gives the same assertion fail as
	Vikram>    above.

If you choose the probabilities oddly, Csmith can get into situations in which
it cannot make progress.

Currently, we prioritize these sorts of problems far below Csmith crashes.

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX