Paolo Bonzini 
		0da41187df 
		
	 
	
	
	coverity-model: constrain g_malloc/g_malloc0/g_realloc as never returning NULL ... 
			g_malloc/g_malloc0/g_realloc only return NULL if the size is 0; we do not need
to cover that in the model, and so far have expected __coverity_alloc__
to model a non-NULL return value.  But that apparently does not work
anymore, so add some extra conditionals that invoke __coverity_panic__
for NULL pointers.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> 
		
	 
		2021-07-30 12:04:01 +02:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2021-07-14 14:31:48 +01:00 
		 
	
		
			
			
			
			
			
			2021-06-15 20:27:38 +02:00 
		 
	
		
			
			
			
			
			
			2020-09-18 14:12:32 -04:00 
		 
	
		
			
			
			
			
			
			2021-07-30 12:04:01 +02:00 
		 
	
		
			
			
			
			
			
			2020-05-31 13:56:46 +02:00 
		 
	
		
			
			
			
			
			
			2020-05-31 13:56:46 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-05 21:29:39 +02:00 
		 
	
		
			
			
			
			
			
			2020-07-14 22:22:22 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-15 12:56:41 +02:00 
		 
	
		
			
			
			
			
			
			2018-08-23 18:46:25 +02:00 
		 
	
		
			
			
			
			
			
			2021-01-12 12:38:03 +01:00 
		 
	
		
			
			
			
			
			
			2021-06-18 16:10:07 -04:00 
		 
	
		
			
			
			
			
			
			2021-05-04 11:37:26 +03:00 
		 
	
		
			
			
			
			
			
			2021-03-09 22:14:26 +01:00 
		 
	
		
			
			
			
			
			
			2020-02-07 15:15:16 +01:00 
		 
	
		
			
			
			
			
			
			2020-02-07 15:15:16 +01:00 
		 
	
		
			
			
			
			
			
			2016-12-20 21:52:12 +01:00 
		 
	
		
			
			
			
			
			
			2020-11-15 17:04:40 +01:00 
		 
	
		
			
			
			
			
			
			2020-08-21 06:30:06 -04:00 
		 
	
		
			
			
			
			
			
			2021-06-18 12:21:21 -05:00 
		 
	
		
			
			
			
			
			
			2020-10-04 18:36:23 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-25 10:08:33 +01:00 
		 
	
		
			
			
			
			
			
			2020-09-17 20:37:55 +02:00 
		 
	
		
			
			
			
			
			
			2020-08-21 06:18:30 -04:00 
		 
	
		
			
			
			
			
			
			2020-09-09 17:17:00 +01:00 
		 
	
		
			
			
			
			
			
			2020-12-15 12:53:15 -05:00 
		 
	
		
			
			
			
			
			
			2021-06-17 14:11:06 -04:00 
		 
	
		
			
			
			
			
			
			2021-05-01 11:45:35 -07:00 
		 
	
		
			
			
			
			
			
			2021-04-01 14:28:39 +02:00 
		 
	
		
			
			
			
			
			
			2017-05-10 10:19:24 +03:00 
		 
	
		
			
			
			
			
			
			2020-02-07 15:15:16 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-09 18:21:34 +02:00 
		 
	
		
	
		
			
			
			
			
			
			2020-08-21 06:30:39 -04:00 
		 
	
		
			
			
			
			
			
			2021-02-24 11:05:21 +00:00 
		 
	
		
			
			
			
			
			
			2021-02-18 07:48:22 -08:00 
		 
	
		
			
			
			
			
			
			2021-02-09 20:53:56 +00:00 
		 
	
		
			
			
			
			
			
			2021-01-29 17:07:53 +00:00 
		 
	
		
			
			
			
			
			
			2020-12-15 12:53:16 -05:00 
		 
	
		
			
			
			
			
			
			2020-08-21 06:30:14 -04:00 
		 
	
		
			
			
			
			
			
			2020-03-06 10:05:24 +00:00 
		 
	
		
			
			
			
			
			
			2021-03-24 14:24:40 +00:00 
		 
	
		
			
			
			
			
			
			2019-10-07 14:54:45 +02:00 
		 
	
		
			
			
			
			
			
			2020-09-01 01:51:52 -04:00 
		 
	
		
			
			
			
			
			
			2020-08-21 06:30:17 -04:00 
		 
	
		
			
			
			
			
			
			2021-07-09 18:20:27 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-09 18:20:27 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-09 06:03:53 +01:00 
		 
	
		
			
			
			
			
			
			2020-11-18 09:28:55 +01:00 
		 
	
		
			
			
			
			
			
			2020-10-10 11:37:47 +02:00 
		 
	
		
			
			
			
			
			
			2021-05-03 10:07:41 +02:00 
		 
	
		
			
			
			
			
			
			2021-01-12 12:38:03 +01:00 
		 
	
		
			
			
			
			
			
			2021-07-12 17:37:06 +01:00 
		 
	
		
			
			
			
			
			
			2020-10-12 11:50:23 -04:00 
		 
	
		
	
		
			
			
			
			
			
			2020-07-14 22:22:22 +02:00 
		 
	
		
			
			
			
			
			
			2020-11-15 17:04:40 +01:00 
		 
	
		
			
			
			
			
			
			2017-05-10 10:19:24 +03:00 
		 
	
		
			
			
			
			
			
			2018-10-16 18:34:19 +02:00 
		 
	
		
			
			
			
			
			
			2020-02-07 15:15:16 +01:00 
		 
	
		
			
			
			
			
			
			2021-06-02 06:51:09 +02:00 
		 
	
		
			
			
			
			
			
			2017-05-10 10:19:24 +03:00 
		 
	
		
			
			
			
			
			
			2020-07-10 19:26:55 -04:00 
		 
	
		
			
			
			
			
			
			2019-02-05 16:50:16 +01:00 
		 
	
		
			
			
			
			
			
			2020-09-08 07:17:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-01-04 14:24:58 +00:00 
		 
	
		
			
			
			
			
			
			2020-08-31 08:23:39 +02:00 
		 
	
		
			
			
			
			
			
			2020-10-22 11:53:52 -04:00 
		 
	
		
			
			
			
			
			
			2021-05-27 12:06:37 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-13 13:59:59 +02:00 
		 
	
		
			
			
			
			
			
			2020-03-20 16:02:00 +01:00 
		 
	
		
			
			
			
			
			
			2021-02-08 11:19:51 +00:00 
		 
	
		
			
			
			
			
			
			2020-02-07 15:15:16 +01:00