| 
									
										
										
										
											2018-01-05 23:15:34 -08:00
										 |  |  | /* These variables used to be used when Python was built with --with-fpectl,
 | 
					
						
							|  |  |  |  * but support for that was dropped in 3.7. We continue to define them, | 
					
						
							|  |  |  |  * though, because they may be referenced by extensions using the stable ABI. | 
					
						
							| 
									
										
										
										
											1997-02-14 22:58:07 +00:00
										 |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-01-13 10:46:04 +02:00
										 |  |  | #ifdef HAVE_SETJMP_H
 | 
					
						
							|  |  |  | #include <setjmp.h>
 | 
					
						
							| 
									
										
										
										
											1998-08-25 17:48:25 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-01-05 23:15:34 -08:00
										 |  |  | jmp_buf PyFPE_jbuf; | 
					
						
							| 
									
										
										
										
											2022-01-13 10:46:04 +02:00
										 |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-01-05 23:15:34 -08:00
										 |  |  | int PyFPE_counter; | 
					
						
							| 
									
										
										
										
											1998-08-25 17:48:25 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | double | 
					
						
							| 
									
										
										
										
											2000-07-22 18:47:25 +00:00
										 |  |  | PyFPE_dummy(void *dummy) | 
					
						
							| 
									
										
										
										
											1998-08-25 17:48:25 +00:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2017-11-28 17:56:10 +02:00
										 |  |  |     return 1.0; | 
					
						
							| 
									
										
										
										
											1998-08-25 17:48:25 +00:00
										 |  |  | } |