@ -3022,8 +3022,8 @@ hashagg_batch_read(HashAggBatch *batch, uint32 *hashp)
if ( nread ! = sizeof ( uint32 ) )
if ( nread ! = sizeof ( uint32 ) )
ereport ( ERROR ,
ereport ( ERROR ,
( errcode_for_file_access ( ) ,
( errcode_for_file_access ( ) ,
errmsg ( " unexpected EOF for tape %p: requested %zu bytes, read %zu bytes " ,
errmsg_internal ( " unexpected EOF for tape %p: requested %zu bytes, read %zu bytes " ,
tape , sizeof ( uint32 ) , nread ) ) ) ;
tape , sizeof ( uint32 ) , nread ) ) ) ;
if ( hashp ! = NULL )
if ( hashp ! = NULL )
* hashp = hash ;
* hashp = hash ;
@ -3031,8 +3031,8 @@ hashagg_batch_read(HashAggBatch *batch, uint32 *hashp)
if ( nread ! = sizeof ( uint32 ) )
if ( nread ! = sizeof ( uint32 ) )
ereport ( ERROR ,
ereport ( ERROR ,
( errcode_for_file_access ( ) ,
( errcode_for_file_access ( ) ,
errmsg ( " unexpected EOF for tape %p: requested %zu bytes, read %zu bytes " ,
errmsg_internal ( " unexpected EOF for tape %p: requested %zu bytes, read %zu bytes " ,
tape , sizeof ( uint32 ) , nread ) ) ) ;
tape , sizeof ( uint32 ) , nread ) ) ) ;
tuple = ( MinimalTuple ) palloc ( t_len ) ;
tuple = ( MinimalTuple ) palloc ( t_len ) ;
tuple - > t_len = t_len ;
tuple - > t_len = t_len ;
@ -3043,8 +3043,8 @@ hashagg_batch_read(HashAggBatch *batch, uint32 *hashp)
if ( nread ! = t_len - sizeof ( uint32 ) )
if ( nread ! = t_len - sizeof ( uint32 ) )
ereport ( ERROR ,
ereport ( ERROR ,
( errcode_for_file_access ( ) ,
( errcode_for_file_access ( ) ,
errmsg ( " unexpected EOF for tape %p: requested %zu bytes, read %zu bytes " ,
errmsg_internal ( " unexpected EOF for tape %p: requested %zu bytes, read %zu bytes " ,
tape , t_len - sizeof ( uint32 ) , nread ) ) ) ;
tape , t_len - sizeof ( uint32 ) , nread ) ) ) ;
return tuple ;
return tuple ;
}
}