[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;
       }