generate crash: Statement.cpp:927: void Statement::post_creation_analysis(vector<const Fact *> &, const Effect &, CGContext &) const: Assertion `0' failed.

[sendaoYan]

test command:

csmith -s 71965871 > test.c

> /home/yansendao/tone/run/csmith/csmith-binary/bin/csmith -s 71965871 
/*
 * This is a RANDOMLY GENERATED PROGRAM.
 *
 * Generator: csmith 2.4.0
 * Git version: 49eb4f5
 * Options:   -s 71965871
 * Seed:      71965871
 */

#include "csmith.h"


static long __undefined;

csmith: /home/yansendao/tone/run/csmith/csmith-src/src/Statement.cpp:927: void Statement::post_creation_analysis(vector<const Fact *> &, const Effect &, CGContext &) const: Assertion `0' failed.
Aborted (core dumped)
yansendao@CompilerTest-aar

[ewlu]

Ran into the same problem with a different seed.

/scratch/ewlu/ci/compiler-fuzz-ci/csmith-build/bin$ ./csmith --seed 3373433250
/*
 * This is a RANDOMLY GENERATED PROGRAM.
 *
 * Generator: csmith 2.4.0
 * Git version: 0ec6f1b
 * Options:   --seed 3373433250
 * Seed:      3373433250
 */

#include "csmith.h"


static long __undefined;

csmith: /scratch/ewlu/ci/compiler-fuzz-ci/csmith/src/Statement.cpp:927: void Statement::post_creation_analysis(std::vector<const Fact*>&, const Effect&, CGContext&) const: Assertion `0' failed.
Aborted (core dumped)