mirror of
				https://github.com/Z3Prover/z3
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	fix missing memset in my previous commit
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
This commit is contained in:
		
							parent
							
								
									695ce643f5
								
							
						
					
					
						commit
						4ed062d54a
					
				
					 1 changed files with 1 additions and 0 deletions
				
			
		| 
						 | 
				
			
			@ -30,6 +30,7 @@ void bit_vector::expand_to(unsigned new_capacity) {
 | 
			
		|||
    } else {
 | 
			
		||||
        m_data = alloc_svect(unsigned, new_capacity);
 | 
			
		||||
    }
 | 
			
		||||
    memset(m_data + m_capacity, 0, (new_capacity - m_capacity) * sizeof(unsigned));
 | 
			
		||||
    m_capacity = new_capacity;
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue