cast to larger data type on 32bits, probably fixes #809
This commit is contained in:
		
							parent
							
								
									4455e816aa
								
							
						
					
					
						commit
						ec84b3a0ca
					
				| @ -160,7 +160,7 @@ int main( const int argc, const char * argv[] ) { | ||||
|             shared_layout_ptr->ram_index_file_name | ||||
|         ); | ||||
|         // add zero termination
 | ||||
|         unsigned end_of_string_index = std::min(1023ul, file_index_file_name.length()); | ||||
|         unsigned end_of_string_index = std::min((std::size_t)1023, file_index_file_name.length()); | ||||
|         shared_layout_ptr->ram_index_file_name[end_of_string_index] = '\0'; | ||||
| 
 | ||||
|         // collect number of elements to store in shared memory object
 | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user