[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[creduce-bugs] crash in clang in simplify_struct
I am using creduce built from FreeBSD ports if that matters.
I've attached the two files I found in a 'creduce_bug_000'
directory left behind by a creduce run.
--
John Baldwin
creduce 2.7.0
c0c7f0b
FreeBSD
ralph.baldwin.cx
11.1-STABLE
FreeBSD 11.1-STABLE #0 r321399: Sun Jul 23 16:41:28 PDT 2017 john@ralph.baldwin.cx:/usr/obj/usr/src/sys/RALPH
amd64
***************************************************
pass_clang::simplify-struct has encountered a bug:
crashed: "/usr/local/libexec/clang_delta" --transformation=simplify-struct --counter=1 /tmp/creduce-DHh6K3/hash_page-6292b2.c
Please consider tarring up /usr/home/john/work/cheri/git/cheribsd/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.
This bug is not fatal, C-Reduce will continue to execute.
***************************************************
#ifndef _SYS_CDEFS_H_
#define __XSI_VISIBLE 700
#endif
typedef int __int32_t;
#define _BIG_ENDIAN 4321
#ifdef __MIPSEB__
#define _BYTE_ORDER _BIG_ENDIAN
#define BYTE_ORDER _BYTE_ORDER
#ifndef _INT8_T_DECLARED
typedef __int32_t int32_t;
#endif
#endif
#ifndef _OFF_T_DECLARED
#if 0
#ifndef _SYS__SIGSET_H_
#endif
#endif
#if __POSIX_VISIBLE || __XSI_VISIBLE
#ifndef _SIGSET_T_DECLARED
#endif
#endif
#if __POSIX_VISIBLE >= 200809 || __XSI_VISIBLE
long pwrite(int, const void *, unsigned long, long);
#if __POSIX_VISIBLE
#if 0
#endif
#endif
#endif
#ifdef __DBINTERFACE_PRIVATE
#define M_32_SWAP(a)
#endif
#endif
typedef struct hashhdr {
unsigned int lorder;
int32_t bshift;
}
HASHHDR;
typedef struct htab {
HASHHDR hdr;
}
HTAB;
#define MAX_BSIZE 32768
#define BSHIFT hdr.bshift
#define LORDER hdr.lorder
int __put_page_is_bitmap;
void __put_page( void) {
char * p = 0;
HTAB * hashp = 0;
int fd, page, size;
long wsize;
char pbuf[MAX_BSIZE];
if (hashp->LORDER != BYTE_ORDER) {
int i, max;
__put_page_is_bitmap;
{
i = 0;
for (i;
i < max;
i++) 0;
}
p = pbuf;
}
if ((wsize = pwrite(fd, p, size, page << hashp->BSHIFT)) == -1) 0;
0;
}