It assumes that __builtin_longjmp takes a void **, which is decidedly distinctive from void *. Change-Id: I1930bb01dd62bd6abf0688b118236db2a9299e40 Signed-off-by: Patrick Georgi <pgeorgi@chromium.org> Reviewed-on: https://review.coreboot.org/20366 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
		
			
				
	
	
		
			12 lines
		
	
	
		
			312 B
		
	
	
	
		
			Diff
		
	
	
	
	
	
			
		
		
	
	
			12 lines
		
	
	
		
			312 B
		
	
	
	
		
			Diff
		
	
	
	
	
	
| --- gcc-6.3.0/gcc/ada/raise.c.orig	2017-06-24 07:06:41.524685169 +0200
 | |
| +++ gcc-6.3.0/gcc/ada/raise.c	2017-06-24 07:07:12.945162120 +0200
 | |
| @@ -55,7 +55,7 @@
 | |
|  void
 | |
|  _gnat_builtin_longjmp (void *ptr, int flag ATTRIBUTE_UNUSED)
 | |
|  {
 | |
| -   __builtin_longjmp (ptr, 1);
 | |
| +   __builtin_longjmp ((void **)ptr, 1);
 | |
|  }
 | |
|  #endif
 | |
|  
 |