PIPS
pointer_values_intrinsics.c
Go to the documentation of this file.
1 /*
2 
3  $Id: pointer_values_intrinsics.c 23065 2016-03-02 09:05:50Z coelho $
4 
5  Copyright 1989-2016 MINES ParisTech
6  Copyright 2010 HPC Project
7 
8  This file is part of PIPS.
9 
10  PIPS is free software: you can redistribute it and/or modify it
11  under the terms of the GNU General Public License as published by
12  the Free Software Foundation, either version 3 of the License, or
13  any later version.
14 
15  PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
16  WARRANTY; without even the implied warranty of MERCHANTABILITY or
17  FITNESS FOR A PARTICULAR PURPOSE.
18 
19  See the GNU General Public License for more details.
20 
21  You should have received a copy of the GNU General Public License
22  along with PIPS. If not, see <http://www.gnu.org/licenses/>.
23 */
24 
25 #ifdef HAVE_CONFIG_H
26  #include "pips_config.h"
27 #endif
28 
29 #include <stdio.h>
30 #include <string.h>
31 
32 #include "genC.h"
33 #include "linear.h"
34 #include "ri.h"
35 #include "ri-util.h"
36 #include "prettyprint.h"
37 #include "effects.h"
38 #include "effects-util.h"
39 #include "text-util.h"
40 #include "effects-simple.h"
41 #include "effects-generic.h"
42 #include "misc.h"
43 
44 #include "pointer_values.h"
45 
46 /**************** SPECIFIC INTRINSIC FUNCTIONS */
47 
48 static void assignment_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
49 
50 static void binary_arithmetic_operator_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
51 static void unary_arithmetic_operator_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
52 static void update_operator_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
53 static void logical_operator_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
54 static void conditional_operator_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
55 
56 
57 static void dereferencing_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
58 static void field_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
59 static void point_to_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
60 static void address_of_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
61 
62 static void c_io_function_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
63 static void unix_io_function_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
64 static void string_function_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
65 static void va_list_function_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
66 static void heap_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
67 //static void stop_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
68 static void c_return_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
69 
70 static void safe_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
71 
72 static void intrinsic_to_identical_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
73 
74 static void unknown_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
75 
76 static void default_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results * pv_res, pv_context *ctxt);
77 
78 /**************** YET ANOTHER INTRINSICS TABLE */
79 
80 /* the following data structure describes an intrinsic function: its
81 name and the function to apply on a call to this intrinsic to get the
82 post pointer values of the call */
83 
84 /* These intrinsics are arranged in the order of the standard ISO/IEC 9899:TC2. MB */
85 
86 typedef struct IntrinsicDescriptor
87 {
88  string name;
89  void (*to_post_pv_function)();
90 } IntrinsicToPostPVDescriptor;
91 
92 static IntrinsicToPostPVDescriptor IntrinsicToPostPVDescriptorTable[] = {
93  {PLUS_OPERATOR_NAME, binary_arithmetic_operator_to_post_pv},
94  {MINUS_OPERATOR_NAME, binary_arithmetic_operator_to_post_pv},
95  {DIVIDE_OPERATOR_NAME, binary_arithmetic_operator_to_post_pv},
96  {MULTIPLY_OPERATOR_NAME, binary_arithmetic_operator_to_post_pv},
97 
98  {INVERSE_OPERATOR_NAME, unary_arithmetic_operator_to_post_pv},
99  {UNARY_MINUS_OPERATOR_NAME, unary_arithmetic_operator_to_post_pv},
100  {POWER_OPERATOR_NAME, unary_arithmetic_operator_to_post_pv},
101 
102  {EQUIV_OPERATOR_NAME, logical_operator_to_post_pv},
103  {NON_EQUIV_OPERATOR_NAME, logical_operator_to_post_pv},
104  {OR_OPERATOR_NAME, logical_operator_to_post_pv},
105  {AND_OPERATOR_NAME, logical_operator_to_post_pv},
106  {LESS_THAN_OPERATOR_NAME, logical_operator_to_post_pv},
107  {GREATER_THAN_OPERATOR_NAME, logical_operator_to_post_pv},
108  {LESS_OR_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
109  {GREATER_OR_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
110  {EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
111  {NON_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
112  {CONCATENATION_FUNCTION_NAME, logical_operator_to_post_pv},
113  {NOT_OPERATOR_NAME, logical_operator_to_post_pv},
114 
115  {CONTINUE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
116  {"ENDDO", unknown_intrinsic_to_post_pv},
117  {PAUSE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
118  {RETURN_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
119  {STOP_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
120  {END_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
121  {FORMAT_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
122 
123  { IMPLIED_COMPLEX_NAME, unknown_intrinsic_to_post_pv},
124  { IMPLIED_DCOMPLEX_NAME, unknown_intrinsic_to_post_pv},
125 
126  {INT_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
127  {IFIX_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
128  {IDINT_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
129  {REAL_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
130  {FLOAT_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
131  {DFLOAT_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
132  {SNGL_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
133  {DBLE_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
134  {DREAL_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv}, /* Added for Arnauld Leservot */
135  {CMPLX_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
136  {DCMPLX_GENERIC_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
137  {INT_TO_CHAR_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
138  {CHAR_TO_INT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
139  {AINT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
140  {DINT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
141  {ANINT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
142  {DNINT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
143  {NINT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
144  {IDNINT_CONVERSION_NAME, unknown_intrinsic_to_post_pv},
145  {IABS_OPERATOR_NAME, unknown_intrinsic_to_post_pv},
146  {ABS_OPERATOR_NAME, unknown_intrinsic_to_post_pv},
147  {DABS_OPERATOR_NAME, unknown_intrinsic_to_post_pv},
148  {CABS_OPERATOR_NAME, unknown_intrinsic_to_post_pv},
149  {CDABS_OPERATOR_NAME, unknown_intrinsic_to_post_pv},
150 
151  {MODULO_OPERATOR_NAME, intrinsic_to_identical_post_pv},
152  {REAL_MODULO_OPERATOR_NAME, intrinsic_to_identical_post_pv},
153  {DOUBLE_MODULO_OPERATOR_NAME, intrinsic_to_identical_post_pv},
154  {ISIGN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
155  {SIGN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
156  {DSIGN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
157  {IDIM_OPERATOR_NAME, intrinsic_to_identical_post_pv},
158  {DIM_OPERATOR_NAME, intrinsic_to_identical_post_pv},
159  {DDIM_OPERATOR_NAME, intrinsic_to_identical_post_pv},
160  {DPROD_OPERATOR_NAME, intrinsic_to_identical_post_pv},
161  {MAX_OPERATOR_NAME, intrinsic_to_identical_post_pv},
162  {MAX0_OPERATOR_NAME, intrinsic_to_identical_post_pv},
163  {AMAX1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
164  {DMAX1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
165  {AMAX0_OPERATOR_NAME, intrinsic_to_identical_post_pv},
166  {MAX1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
167  {MIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
168  {MIN0_OPERATOR_NAME, intrinsic_to_identical_post_pv},
169  {AMIN1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
170  {DMIN1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
171  {AMIN0_OPERATOR_NAME, intrinsic_to_identical_post_pv},
172  {MIN1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
173  {LENGTH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
174  {INDEX_OPERATOR_NAME, intrinsic_to_identical_post_pv},
175  {AIMAG_CONVERSION_NAME, intrinsic_to_identical_post_pv},
176  {DIMAG_CONVERSION_NAME, intrinsic_to_identical_post_pv},
177  {CONJG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
178  {DCONJG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
179  {SQRT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
180  {DSQRT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
181  {CSQRT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
182 
183  {EXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
184  {DEXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
185  {CEXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
186  {LOG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
187  {ALOG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
188  {DLOG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
189  {CLOG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
190  {LOG10_OPERATOR_NAME, intrinsic_to_identical_post_pv},
191  {ALOG10_OPERATOR_NAME, intrinsic_to_identical_post_pv},
192  {DLOG10_OPERATOR_NAME, intrinsic_to_identical_post_pv},
193  {SIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
194  {DSIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
195  {CSIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
196  {COS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
197  {DCOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
198  {CCOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
199  {TAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
200  {DTAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
201  {ASIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
202  {DASIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
203  {ACOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
204  {DACOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
205  {ATAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
206  {DATAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
207  {ATAN2_OPERATOR_NAME, intrinsic_to_identical_post_pv},
208  {DATAN2_OPERATOR_NAME, intrinsic_to_identical_post_pv},
209  {SINH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
210  {DSINH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
211  {COSH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
212  {DCOSH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
213  {TANH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
214  {DTANH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
215 
216  {LGE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
217  {LGT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
218  {LLE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
219  {LLT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
220 
221  {LIST_DIRECTED_FORMAT_NAME, intrinsic_to_identical_post_pv},
222  {UNBOUNDED_DIMENSION_NAME, intrinsic_to_identical_post_pv},
223 
224  {ASSIGN_OPERATOR_NAME, assignment_intrinsic_to_post_pv},
225 
226  /* Fortran IO related intrinsic */
227  {WRITE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
228  {REWIND_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
229  {BACKSPACE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
230  {OPEN_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
231  {CLOSE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
232  {INQUIRE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
233  {READ_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
234  {BUFFERIN_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
235  {BUFFEROUT_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
236  {ENDFILE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
237  {IMPLIED_DO_NAME, unknown_intrinsic_to_post_pv},
238 
239  {SUBSTRING_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
240  {ASSIGN_SUBSTRING_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
241 
242  /* These operators are used within the OPTIMIZE transformation in
243  order to manipulate operators such as n-ary add and multiply or
244  multiply-add operators ( JZ - sept 98) */
245  {EOLE_SUM_OPERATOR_NAME, intrinsic_to_identical_post_pv },
246  {EOLE_PROD_OPERATOR_NAME, intrinsic_to_identical_post_pv },
247  {EOLE_FMA_OPERATOR_NAME, intrinsic_to_identical_post_pv },
248 
249  {IMA_OPERATOR_NAME, intrinsic_to_identical_post_pv },
250  {IMS_OPERATOR_NAME, intrinsic_to_identical_post_pv },
251 
252 
253  /* Bit manipulation F90 functions. ISO/IEC 1539 : 1991 Amira Mensi */
254 
255  {ISHFT_OPERATOR_NAME, intrinsic_to_identical_post_pv },
256  {ISHFTC_OPERATOR_NAME, intrinsic_to_identical_post_pv },
257  {IBITS_OPERATOR_NAME, intrinsic_to_identical_post_pv },
258  {MVBITS_OPERATOR_NAME, intrinsic_to_identical_post_pv },
259  {BTEST_OPERATOR_NAME, intrinsic_to_identical_post_pv },
260  {IBCLR_OPERATOR_NAME, intrinsic_to_identical_post_pv },
261  {BIT_SIZE_OPERATOR_NAME, intrinsic_to_identical_post_pv },
262  {IBSET_OPERATOR_NAME, intrinsic_to_identical_post_pv },
263  {IAND_OPERATOR_NAME, intrinsic_to_identical_post_pv },
264  {IEOR_OPERATOR_NAME, intrinsic_to_identical_post_pv },
265  {IOR_OPERATOR_NAME, intrinsic_to_identical_post_pv },
266 
267  /* Here are C intrinsics.*/
268 
269  /* ISO 6.5.2.3 structure and union members */
270  {FIELD_OPERATOR_NAME, field_to_post_pv},
271  {POINT_TO_OPERATOR_NAME, point_to_to_post_pv},
272 
273  /* ISO 6.5.2.4 postfix increment and decrement operators, real or pointer type operand */
274  {POST_INCREMENT_OPERATOR_NAME, update_operator_to_post_pv},
275  {POST_DECREMENT_OPERATOR_NAME, update_operator_to_post_pv},
276 
277  /* ISO 6.5.3.1 prefix increment and decrement operators, real or pointer type operand */
278  {PRE_INCREMENT_OPERATOR_NAME, update_operator_to_post_pv},
279  {PRE_DECREMENT_OPERATOR_NAME, update_operator_to_post_pv},
280 
281  /* ISO 6.5.3.2 address and indirection operators, add pointer type */
282  {ADDRESS_OF_OPERATOR_NAME, address_of_to_post_pv},
283  {DEREFERENCING_OPERATOR_NAME, dereferencing_to_post_pv},
284 
285  /* ISO 6.5.3.3 unary arithmetic operators */
286  {UNARY_PLUS_OPERATOR_NAME, unary_arithmetic_operator_to_post_pv},
287  // {"-unary", intrinsic_to_identical_post_pv},UNARY_MINUS_OPERATOR already exist (FORTRAN)
288  {BITWISE_NOT_OPERATOR_NAME, unary_arithmetic_operator_to_post_pv},
289  {C_NOT_OPERATOR_NAME, logical_operator_to_post_pv},
290 
291  {C_MODULO_OPERATOR_NAME, intrinsic_to_identical_post_pv},
292 
293  /* ISO 6.5.6 additive operators, arithmetic types or pointer + integer type*/
294  {PLUS_C_OPERATOR_NAME, binary_arithmetic_operator_to_post_pv},
295  {MINUS_C_OPERATOR_NAME, binary_arithmetic_operator_to_post_pv},
296 
297  /* ISO 6.5.7 bitwise shift operators*/
298  {LEFT_SHIFT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
299  {RIGHT_SHIFT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
300 
301  /* ISO 6.5.8 relational operators,arithmetic or pointer types */
302  {C_LESS_THAN_OPERATOR_NAME, logical_operator_to_post_pv},
303  {C_GREATER_THAN_OPERATOR_NAME, logical_operator_to_post_pv},
304  {C_LESS_OR_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
305  {C_GREATER_OR_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
306 
307  /* ISO 6.5.9 equality operators, return 0 or 1*/
308  {C_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
309  {C_NON_EQUAL_OPERATOR_NAME, logical_operator_to_post_pv},
310 
311  /* ISO 6.5.10 bitwise AND operator */
312  {BITWISE_AND_OPERATOR_NAME, intrinsic_to_identical_post_pv},
313 
314  /* ISO 6.5.11 bitwise exclusive OR operator */
315  {BITWISE_XOR_OPERATOR_NAME, intrinsic_to_identical_post_pv},
316 
317  /* ISO 6.5.12 bitwise inclusive OR operator */
318  {BITWISE_OR_OPERATOR_NAME, intrinsic_to_identical_post_pv},
319 
320  /* ISO 6.5.13 logical AND operator */
321  {C_AND_OPERATOR_NAME, logical_operator_to_post_pv},
322 
323  /* ISO 6.5.14 logical OR operator */
324  {C_OR_OPERATOR_NAME, logical_operator_to_post_pv},
325 
326  /* ISO 6.5.15 conditional operator */
327  {CONDITIONAL_OPERATOR_NAME, conditional_operator_to_post_pv},
328 
329  /* ISO 6.5.16.2 compound assignments*/
330  {MULTIPLY_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
331  {DIVIDE_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
332  {MODULO_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
333  {PLUS_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
334  {MINUS_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
335  {LEFT_SHIFT_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
336  {RIGHT_SHIFT_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
337  {BITWISE_AND_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
338  {BITWISE_XOR_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
339  {BITWISE_OR_UPDATE_OPERATOR_NAME, update_operator_to_post_pv},
340 
341  /* ISO 6.5.17 comma operator */
342  {COMMA_OPERATOR_NAME, default_intrinsic_to_post_pv},
343 
344  {BREAK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
345  {CASE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
346  {DEFAULT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
347  {C_RETURN_FUNCTION_NAME, c_return_to_post_pv},
348 
349  /* intrinsic to handle C initialization */
350 
351  {BRACE_INTRINSIC, intrinsic_to_identical_post_pv},
352 
353 
354  /* assert.h */
355  /* These intrinsics are added with intrinsic_to_identical_post_pv to work with C.
356  The real effects on aliasing must be studied !!! I do not have time for the moment */
357 
358  {ASSERT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
359  {ASSERT_FAIL_FUNCTION_NAME, intrinsic_to_identical_post_pv}, /* in fact, IO effect, does not return */
360 
361  /* #include <complex.h> */
362  {CACOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
363  {CACOSF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
364  {CACOSL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
365  {CASIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
366  {CASINF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
367  {CASINL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
368  {CATAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
369  {CATANF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
370  {CATANL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
371  {C_CCOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
372  {CCOSF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
373  {CCOSL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
374  {C_CSIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
375  {CSINF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
376  {CSINL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
377  {CTAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
378  {CTANF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
379  {CTANL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
380  {CACOSH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
381  {CACOSHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
382  {CACOSHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
383  {CASINH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
384  {CASINHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
385  {CASINHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
386  {CATANH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
387  {CATANHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
388  {CATANHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
389  {CCOSH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
390  {CCOSHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
391  {CCOSHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
392  {CSINH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
393  {CSINHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
394  {CSINHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
395  {CTANH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
396  {CTANHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
397  {CTANHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
398  {C_CEXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
399  {CEXPF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
400  {CEXPL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
401  {C_CLOG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
402  {CLOGF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
403  {CLOGL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
404  {C_CABS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
405  {CABSF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
406  {CABSL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
407  {CPOW_OPERATOR_NAME, intrinsic_to_identical_post_pv},
408  {CPOWF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
409  {CPOWL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
410  {C_CSQRT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
411  {CSQRTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
412  {CSQRTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
413  {CARG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
414  {CARGF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
415  {CARGL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
416  {CIMAG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
417  {CIMAGF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
418  {CIMAGL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
419  {CONJ_OPERATOR_NAME, intrinsic_to_identical_post_pv},
420  {CONJF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
421  {CONJL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
422  {CPROJ_OPERATOR_NAME, intrinsic_to_identical_post_pv},
423  {CPROJF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
424  {CPROJL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
425  {CREAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
426  {CREALF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
427  {CREALL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
428 
429  /* #include <ctype.h>*/
430 
431  {ISALNUM_OPERATOR_NAME, intrinsic_to_identical_post_pv},
432  {ISALPHA_OPERATOR_NAME, intrinsic_to_identical_post_pv},
433  {ISBLANK_OPERATOR_NAME, intrinsic_to_identical_post_pv},
434  {ISCNTRL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
435  {ISDIGIT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
436  {ISGRAPH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
437  {ISLOWER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
438  {ISPRINT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
439  {ISPUNCT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
440  {ISSPACE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
441  {ISUPPER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
442  {ISXDIGIT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
443  {TOLOWER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
444  {TOUPPER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
445 
446  /* errno.h */
447  // MB: errno is usually an extern int variable, but *errno() is allowed (ISO section 7.5 in C99)
448  {"errno", intrinsic_to_identical_post_pv},
449 
450  /* fenv.h */
451 
452  {FECLEAREXCEPT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
453  {FERAISEEXCEPT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
454  {FESETEXCEPTFLAG_FUNCTION_NAME, intrinsic_to_identical_post_pv},
455  {FETESTEXCEPT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
456  {FEGETROUND_FUNCTION_NAME, intrinsic_to_identical_post_pv},
457  {FESETROUND_FUNCTION_NAME, intrinsic_to_identical_post_pv},
458  // fenv_t *
459  // {FESETENV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
460  //{FEUPDATEENV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
461 
462 
463  /* inttypes.h */
464  {IMAXABS_FUNCTION_NAME, intrinsic_to_identical_post_pv},
465  {IMAXDIV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
466 
467  /* locale.h */
468  {SETLOCALE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
469  {"localeconv", intrinsic_to_identical_post_pv},
470 
471  /* #include <math.h>*/
472 
473  {FPCLASSIFY_OPERATOR_NAME, intrinsic_to_identical_post_pv},
474  {ISFINITE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
475  {ISINF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
476  {ISNAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
477  {ISNANL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
478  {ISNANF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
479  {ISNORMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
480  {SIGNBIT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
481  {C_ACOS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
482  {ACOSF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
483  {ACOSL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
484  {C_ASIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
485  {ASINF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
486  {ASINL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
487  {C_ATAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
488  {ATANF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
489  {ATANL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
490  {C_ATAN2_OPERATOR_NAME, intrinsic_to_identical_post_pv},
491  {ATAN2F_OPERATOR_NAME, intrinsic_to_identical_post_pv},
492  {ATAN2L_OPERATOR_NAME, intrinsic_to_identical_post_pv},
493  {C_COS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
494  {COSF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
495  {COSL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
496  {C_SIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
497  {SINF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
498  {SINL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
499  {C_TAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
500  {TANF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
501  {TANL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
502  {C_ACOSH_OPERATOR_NAME , intrinsic_to_identical_post_pv},
503  {ACOSHF_OPERATOR_NAME , intrinsic_to_identical_post_pv},
504  {ACOSHL_OPERATOR_NAME , intrinsic_to_identical_post_pv},
505  {C_ASINH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
506  {ASINHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
507  {ASINHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
508  {C_ATANH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
509  {ATANHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
510  {ATANHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
511  {C_COSH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
512  {COSHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
513  {COSHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
514  {C_SINH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
515  {SINHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
516  {SINHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
517  {C_TANH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
518  {TANHF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
519  {TANHL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
520  {C_EXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
521  {EXPF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
522  {EXPL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
523  {EXP2_OPERATOR_NAME, intrinsic_to_identical_post_pv},
524  {EXP2F_OPERATOR_NAME, intrinsic_to_identical_post_pv},
525  {EXP2L_OPERATOR_NAME, intrinsic_to_identical_post_pv},
526  {EXPM1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
527  {EXPM1F_OPERATOR_NAME, intrinsic_to_identical_post_pv},
528  {EXPM1L_OPERATOR_NAME, intrinsic_to_identical_post_pv},
529  //frexp has a write effect not defined correctly. MB
530  {FREXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
531  {ILOGB_OPERATOR_NAME, intrinsic_to_identical_post_pv},
532  {ILOGBF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
533  {ILOGBL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
534  {LDEXP_OPERATOR_NAME, intrinsic_to_identical_post_pv},
535  {LDEXPF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
536  {LDEXPL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
537  {C_LOG_OPERATOR_NAME, intrinsic_to_identical_post_pv},
538  {LOGF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
539  {LOGL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
540  {C_LOG10_OPERATOR_NAME, intrinsic_to_identical_post_pv},
541  {LOG10F_OPERATOR_NAME, intrinsic_to_identical_post_pv},
542  {LOG10L_OPERATOR_NAME, intrinsic_to_identical_post_pv},
543  {LOG1P_OPERATOR_NAME, intrinsic_to_identical_post_pv},
544  {LOG1PF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
545  {LOG1PL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
546  {LOG2_OPERATOR_NAME, intrinsic_to_identical_post_pv},
547  {LOG2F_OPERATOR_NAME, intrinsic_to_identical_post_pv},
548  {LOG2L_OPERATOR_NAME, intrinsic_to_identical_post_pv},
549  {LOGB_OPERATOR_NAME, intrinsic_to_identical_post_pv},
550  {LOGBF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
551  {LOGBL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
552  //modf & modff have write effects not defined correctly. MB
553  {MODF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
554  {MODFF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
555  {SCALBN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
556  {SCALBNF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
557  {SCALBNL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
558  {SCALB_OPERATOR_NAME, intrinsic_to_identical_post_pv}, /* POSIX.1-2001, The scalb function is the BSD name for ldexp */
559  {SCALBLN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
560  {SCALBLNF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
561  {SCALBLNL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
562  {CBRT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
563  {CBRTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
564  {CBRTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
565  {FABS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
566  {FABSF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
567  {FABSL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
568  {HYPOT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
569  {HYPOTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
570  {HYPOTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
571  {POW_OPERATOR_NAME, intrinsic_to_identical_post_pv},
572  {POWF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
573  {POWL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
574  {C_SQRT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
575  {SQRTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
576  {SQRTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
577  {ERF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
578  {ERFF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
579  {ERFL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
580  {ERFC_OPERATOR_NAME, intrinsic_to_identical_post_pv},
581  {ERFCF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
582  {ERFCL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
583  {GAMMA_OPERATOR_NAME, intrinsic_to_identical_post_pv}, /* GNU C Library */
584  {LGAMMA_OPERATOR_NAME, intrinsic_to_identical_post_pv},
585  {LGAMMAF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
586  {LGAMMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
587  {TGAMMA_OPERATOR_NAME, intrinsic_to_identical_post_pv},
588  {TGAMMAF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
589  {TGAMMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
590  {CEIL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
591  {CEILF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
592  {CEILL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
593  {FLOOR_OPERATOR_NAME, intrinsic_to_identical_post_pv},
594  {FLOORF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
595  {FLOORL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
596  {NEARBYINT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
597  {NEARBYINTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
598  {NEARBYINTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
599  {RINT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
600  {RINTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
601  {RINTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
602  {LRINT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
603  {LRINTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
604  {LRINTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
605  {LLRINT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
606  {LLRINTF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
607  {LLRINTL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
608  {ROUND_OPERATOR_NAME, intrinsic_to_identical_post_pv},
609  {ROUNDF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
610  {ROUNDL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
611  {LROUND_OPERATOR_NAME, intrinsic_to_identical_post_pv},
612  {LROUNDF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
613  {LROUNDL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
614  {LLROUND_OPERATOR_NAME, intrinsic_to_identical_post_pv},
615  {LLROUNDF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
616  {LLROUNDL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
617  {TRUNC_OPERATOR_NAME, intrinsic_to_identical_post_pv},
618  {TRUNCF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
619  {TRUNCL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
620  {FMOD_OPERATOR_NAME, intrinsic_to_identical_post_pv},
621  {FMODF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
622  {FMODL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
623  {REMAINDER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
624  {REMAINDERF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
625  {REMAINDERL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
626  {COPYSIGN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
627  {COPYSIGNF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
628  {COPYSIGNL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
629  {NAN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
630  {NANF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
631  {NANL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
632  {NEXTAFTER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
633  {NEXTAFTERF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
634  {NEXTAFTERL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
635  {NEXTTOWARD_OPERATOR_NAME, intrinsic_to_identical_post_pv},
636  {NEXTTOWARDF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
637  {NEXTTOWARDL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
638  {FDIM_OPERATOR_NAME, intrinsic_to_identical_post_pv},
639  {FDIMF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
640  {FDIML_OPERATOR_NAME, intrinsic_to_identical_post_pv},
641  {FMAX_OPERATOR_NAME, intrinsic_to_identical_post_pv},
642  {FMAXF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
643  {FMAXL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
644  {FMIN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
645  {FMINF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
646  {FMINL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
647  {FMA_OPERATOR_NAME, intrinsic_to_identical_post_pv},
648  {FMAF_OPERATOR_NAME, intrinsic_to_identical_post_pv},
649  {FMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
650  {ISGREATER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
651  {ISGREATEREQUAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
652  {ISLESS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
653  {ISLESSEQUAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
654  {ISLESSGREATER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
655  {ISUNORDERED_OPERATOR_NAME, intrinsic_to_identical_post_pv},
656 
657 
658  /*#include <setjmp.h>*/
659 
660  {"setjmp", intrinsic_to_identical_post_pv},
661  {"__setjmp", intrinsic_to_identical_post_pv},
662  {"longjmp", intrinsic_to_identical_post_pv}, // control effect 7.13 in C99
663  {"__longjmp", intrinsic_to_identical_post_pv},
664  {"sigsetjmp", intrinsic_to_identical_post_pv}, //POSIX.1-2001
665  {"siglongjmp", intrinsic_to_identical_post_pv}, //POSIX.1-2001
666 
667 
668  /* signal.h 7.14 */
669  {SIGFPE_OPERATOR_NAME, intrinsic_to_identical_post_pv}, //macro
670  {SIGNAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
671  {RAISE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
672 
673 
674  /* stdarg.h */
675 
676  {BUILTIN_VA_START, va_list_function_to_post_pv},
677  {BUILTIN_VA_END, va_list_function_to_post_pv},
678  {BUILTIN_VA_COPY, va_list_function_to_post_pv},
679  /* va_arg is not a standard call; it is directly represented in PIPS
680  internal representation. */
681 
682  /*#include <stdio.h>*/
683  // IO functions
684  {REMOVE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
685  {RENAME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
686  {TMPFILE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
687  {TMPNAM_FUNCTION_NAME, intrinsic_to_identical_post_pv},
688  {FCLOSE_FUNCTION_NAME, c_io_function_to_post_pv},
689  {FFLUSH_FUNCTION_NAME, intrinsic_to_identical_post_pv},
690  {FOPEN_FUNCTION_NAME, c_io_function_to_post_pv},
691  {FREOPEN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
692  {SETBUF_FUNCTION_NAME, intrinsic_to_identical_post_pv},
693  {SETVBUF_FUNCTION_NAME , intrinsic_to_identical_post_pv},
694  {FPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
695  {FSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
696  {ISOC99_FSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
697  {PRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
698  {SCANF_FUNCTION_NAME, c_io_function_to_post_pv},
699  {ISOC99_SCANF_FUNCTION_NAME, c_io_function_to_post_pv},
700  {SNPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
701  {SPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
702  {SSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
703  {ISOC99_SSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
704  {VFPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
705  {VFSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
706  {ISOC99_VFSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
707  {VPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
708  {VSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
709  {ISOC99_VSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
710  {VSNPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
711  {VSPRINTF_FUNCTION_NAME, c_io_function_to_post_pv},
712  {VSSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
713  {ISOC99_VSSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
714  {FGETC_FUNCTION_NAME, c_io_function_to_post_pv},
715  {FGETS_FUNCTION_NAME, c_io_function_to_post_pv},
716  {FPUTC_FUNCTION_NAME, c_io_function_to_post_pv},
717  {FPUTS_FUNCTION_NAME, c_io_function_to_post_pv},
718  {GETC_FUNCTION_NAME, c_io_function_to_post_pv},
719  {_IO_GETC_FUNCTION_NAME, c_io_function_to_post_pv},
720  {GETCHAR_FUNCTION_NAME, c_io_function_to_post_pv},
721  {GETS_FUNCTION_NAME, c_io_function_to_post_pv},
722  {PUTC_FUNCTION_NAME, c_io_function_to_post_pv},
723  {_IO_PUTC_FUNCTION_NAME, c_io_function_to_post_pv},
724  {PUTCHAR_FUNCTION_NAME, c_io_function_to_post_pv},
725  {PUTS_FUNCTION_NAME, c_io_function_to_post_pv},
726  {UNGETC_FUNCTION_NAME, c_io_function_to_post_pv},
727  {FREAD_FUNCTION_NAME, c_io_function_to_post_pv},
728  {FWRITE_FUNCTION_NAME, c_io_function_to_post_pv},
729  {FGETPOS_FUNCTION_NAME, c_io_function_to_post_pv},
730  {FSEEK_FUNCTION_NAME, c_io_function_to_post_pv},
731  {FSETPOS_FUNCTION_NAME, c_io_function_to_post_pv},
732  {FTELL_FUNCTION_NAME, c_io_function_to_post_pv},
733  {C_REWIND_FUNCTION_NAME, c_io_function_to_post_pv},
734  {CLEARERR_FUNCTION_NAME, c_io_function_to_post_pv},
735  {FEOF_FUNCTION_NAME, c_io_function_to_post_pv},
736  {FERROR_FUNCTION_NAME, c_io_function_to_post_pv},
737  {PERROR_FUNCTION_NAME, c_io_function_to_post_pv},
738 
739 
740  /* #include <stdlib.h> */
741  {ATOF_FUNCTION_NAME, intrinsic_to_identical_post_pv},
742  {ATOI_FUNCTION_NAME, intrinsic_to_identical_post_pv},
743  {ATOL_FUNCTION_NAME, intrinsic_to_identical_post_pv},
744  {ATOLL_FUNCTION_NAME, intrinsic_to_identical_post_pv},
745  {STRTOD_FUNCTION_NAME, intrinsic_to_identical_post_pv},
746  {STRTOF_FUNCTION_NAME, intrinsic_to_identical_post_pv},
747  {STRTOL_FUNCTION_NAME, safe_intrinsic_to_post_pv},
748  {STRTOLL_FUNCTION_NAME, safe_intrinsic_to_post_pv},
749  {STRTOUL_FUNCTION_NAME, safe_intrinsic_to_post_pv},
750  {STRTOULL_FUNCTION_NAME, safe_intrinsic_to_post_pv},
751  {RAND_FUNCTION_NAME, intrinsic_to_identical_post_pv},
752  {SRAND_FUNCTION_NAME, intrinsic_to_identical_post_pv},
753  {CALLOC_FUNCTION_NAME, heap_intrinsic_to_post_pv},
754  {FREE_FUNCTION_NAME, heap_intrinsic_to_post_pv},
755  {MALLOC_FUNCTION_NAME, heap_intrinsic_to_post_pv},
756  {REALLOC_FUNCTION_NAME, heap_intrinsic_to_post_pv},
757  /* SG: I am setting an any_heap_effects for alloca, which is over pessimistic ... */
758  {ALLOCA_FUNCTION_NAME, heap_intrinsic_to_post_pv},
759  {ABORT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
760  {ATEXIT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
761  {EXIT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
762  {_EXIT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
763  {GETENV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
764  {SYSTEM_FUNCTION_NAME, intrinsic_to_identical_post_pv},
765  {BSEARCH_FUNCTION_NAME, intrinsic_to_identical_post_pv},
766  {QSORT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
767  {C_ABS_FUNCTION_NAME, intrinsic_to_identical_post_pv},
768  {LABS_FUNCTION_NAME, intrinsic_to_identical_post_pv},
769  {LLABS_FUNCTION_NAME, intrinsic_to_identical_post_pv},
770  {DIV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
771  {LDIV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
772  {LLDIV_FUNCTION_NAME, intrinsic_to_identical_post_pv},
773  {MBLEN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
774  {MBTOWC_FUNCTION_NAME, intrinsic_to_identical_post_pv},
775  {WCTOMB_FUNCTION_NAME, intrinsic_to_identical_post_pv},
776  {MBSTOWCS_FUNCTION_NAME, intrinsic_to_identical_post_pv},
777  {WCSTOMBS_FUNCTION_NAME, intrinsic_to_identical_post_pv},
778 
779  /*#include <string.h>*/
780 
781  {MEMCPY_FUNCTION_NAME, string_function_to_post_pv},
782  {MEMMOVE_FUNCTION_NAME, string_function_to_post_pv},
783  {STRCPY_FUNCTION_NAME, string_function_to_post_pv},
784  {STRNCPY_FUNCTION_NAME, string_function_to_post_pv},
785  {STRCAT_FUNCTION_NAME, string_function_to_post_pv},
786  {STRNCAT_FUNCTION_NAME, string_function_to_post_pv},
787  {MEMCMP_FUNCTION_NAME, intrinsic_to_identical_post_pv},
788  {STRCMP_FUNCTION_NAME, intrinsic_to_identical_post_pv},
789  {STRCOLL_FUNCTION_NAME, intrinsic_to_identical_post_pv},
790  {STRDUP_FUNCTION_NAME, heap_intrinsic_to_post_pv},
791  {STRNCMP_FUNCTION_NAME, intrinsic_to_identical_post_pv},
792  {STRXFRM_FUNCTION_NAME, string_function_to_post_pv},
793  {MEMCHR_FUNCTION_NAME, intrinsic_to_identical_post_pv},
794  {STRCHR_FUNCTION_NAME, intrinsic_to_identical_post_pv},
795  {STRCSPN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
796  {STRPBRK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
797  {STRRCHR_FUNCTION_NAME, intrinsic_to_identical_post_pv},
798  {STRSPN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
799  {STRSTR_FUNCTION_NAME, intrinsic_to_identical_post_pv},
800  {STRTOK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
801  {MEMSET_FUNCTION_NAME, string_function_to_post_pv},
802  {STRERROR_FUNCTION_NAME, intrinsic_to_identical_post_pv},
803  {STRERROR_R_FUNCTION_NAME, intrinsic_to_identical_post_pv},
804  {STRLEN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
805 
806  /*#include <time.h>*/
807  {TIME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
808  {LOCALTIME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
809  {DIFFTIME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
810  {GETTIMEOFDAY_FUNCTION_NAME, intrinsic_to_identical_post_pv},
811  {CLOCK_GETTIME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
812  {CLOCK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
813  {SECOND_FUNCTION_NAME, intrinsic_to_identical_post_pv}, // gfortran intrinsic
814 
815  /*#include <wchar.h>*/
816  {FWSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
817  {SWSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
818  {WSCANF_FUNCTION_NAME, c_io_function_to_post_pv},
819 
820  /* #include <wctype.h> */
821  {ISWALNUM_OPERATOR_NAME, intrinsic_to_identical_post_pv},
822  {ISWALPHA_OPERATOR_NAME, intrinsic_to_identical_post_pv},
823  {ISWBLANK_OPERATOR_NAME, intrinsic_to_identical_post_pv},
824  {ISWCNTRL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
825  {ISWDIGIT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
826  {ISWGRAPH_OPERATOR_NAME, intrinsic_to_identical_post_pv},
827  {ISWLOWER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
828  {ISWPRINT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
829  {ISWPUNCT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
830  {ISWSPACE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
831  {ISWUPPER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
832  {ISWXDIGIT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
833  {ISWCTYPE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
834  {WCTYPE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
835  {TOWLOWER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
836  {TOWUPPER_OPERATOR_NAME, intrinsic_to_identical_post_pv},
837  {TOWCTRANS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
838  {WCTRANS_OPERATOR_NAME, intrinsic_to_identical_post_pv},
839 
840 
841 
842  //not found in standard C99 (in GNU C Library)
843  {ISASCII_OPERATOR_NAME, intrinsic_to_identical_post_pv}, //This function is a BSD extension and is also an SVID extension.
844  {TOASCII_OPERATOR_NAME, intrinsic_to_identical_post_pv}, //This function is a BSD extension and is also an SVID extension.
845  {_TOLOWER_OPERATOR_NAME, intrinsic_to_identical_post_pv}, //This function is provided for compatibility with the SVID
846  {_TOUPPER_OPERATOR_NAME, intrinsic_to_identical_post_pv}, //This function is provided for compatibility with the SVID
847 
848  /* Part of the binary standard */
849  {CTYPE_B_LOC_OPERATOR_NAME, intrinsic_to_identical_post_pv},
850 
851 
852 
853  {"__flt_rounds", intrinsic_to_identical_post_pv},
854 
855  {"_sysconf", intrinsic_to_identical_post_pv},
856  {"wdinit", intrinsic_to_identical_post_pv},
857  {"wdchkind", intrinsic_to_identical_post_pv},
858  {"wdbindf", intrinsic_to_identical_post_pv},
859  {"wddelim", intrinsic_to_identical_post_pv},
860  {"mcfiller", intrinsic_to_identical_post_pv},
861  {"mcwrap", intrinsic_to_identical_post_pv},
862 
863  //GNU C Library
864  {"dcgettext", intrinsic_to_identical_post_pv},
865  {"dgettext", intrinsic_to_identical_post_pv},
866  {"gettext", intrinsic_to_identical_post_pv},
867  {"textdomain", intrinsic_to_identical_post_pv},
868  {"bindtextdomain", intrinsic_to_identical_post_pv},
869 
870 
871  /* not found in C99 standard (in GNU C Library) */
872 
873  {J0_OPERATOR_NAME, intrinsic_to_identical_post_pv},
874  {J1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
875  {JN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
876  {Y0_OPERATOR_NAME, intrinsic_to_identical_post_pv},
877  {Y1_OPERATOR_NAME, intrinsic_to_identical_post_pv},
878  {YN_OPERATOR_NAME, intrinsic_to_identical_post_pv},
879 
880  //In the System V math library
881  {MATHERR_OPERATOR_NAME, intrinsic_to_identical_post_pv},
882 
883  //This function exists mainly for use in certain standardized tests of IEEE 754 conformance.
884  {SIGNIFICAND_OPERATOR_NAME, intrinsic_to_identical_post_pv},
885 
886  /* netdb.h not in C99 standard (in GNU library) */
887  {__H_ERRNO_LOCATION_OPERATOR_NAME, intrinsic_to_identical_post_pv},
888 
889  /* bits/errno.h */
890  {__ERRNO_LOCATION_OPERATOR_NAME, intrinsic_to_identical_post_pv},
891 
892 
893  //Posix LEGACY Std 1003.1
894  {ECVT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
895  {FCVT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
896  {GCVT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
897 
898 
899  /* Random number generators in stdlib.h Conforming to SVr4, POSIX.1-2001 but not in C99 */
900 
901  {RANDOM_FUNCTION_NAME, intrinsic_to_identical_post_pv},
902  {SRANDOM_FUNCTION_NAME, intrinsic_to_identical_post_pv},
903  {DRAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
904  {ERAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
905  {JRAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
906  {LRAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
907  {MRAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
908  {NRAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
909  {SRAND48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
910  {SEED48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
911  {LCONG48_FUNCTION_NAME, intrinsic_to_identical_post_pv},
912 
913 
914  //Posix
915  {POSIX_MEMALIGN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
916  {ATOQ_FUNCTION_NAME, intrinsic_to_identical_post_pv},
917  {LLTOSTR_FUNCTION_NAME, safe_intrinsic_to_post_pv},
918  {ULLTOSTR_FUNCTION_NAME, intrinsic_to_identical_post_pv},
919 
920  //MB: not found in C99 standard. POSIX.2
921  {__FILBUF_FUNCTION_NAME, intrinsic_to_identical_post_pv},
922  {__FILSBUF_FUNCTION_NAME, intrinsic_to_identical_post_pv},
923  {SETBUFFER_FUNCTION_NAME, intrinsic_to_identical_post_pv},
924  {SETLINEBUF_FUNCTION_NAME, intrinsic_to_identical_post_pv},
925  {FDOPEN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
926  {CTERMID_FUNCTION_NAME, intrinsic_to_identical_post_pv},
927  {FILENO_FUNCTION_NAME, intrinsic_to_identical_post_pv},
928  {POPEN_FUNCTION_NAME, intrinsic_to_identical_post_pv},
929  {CUSERID_FUNCTION_NAME, intrinsic_to_identical_post_pv},
930  {TEMPNAM_FUNCTION_NAME, intrinsic_to_identical_post_pv},
931  {GETOPT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
932  {GETSUBOPT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
933  {GETW_FUNCTION_NAME, intrinsic_to_identical_post_pv},
934  {PUTW_FUNCTION_NAME, intrinsic_to_identical_post_pv},
935  {PCLOSE_FUNCTION_NAME, intrinsic_to_identical_post_pv},
936  {FSEEKO_FUNCTION_NAME, intrinsic_to_identical_post_pv},
937  {FTELLO_FUNCTION_NAME, intrinsic_to_identical_post_pv},
938  {FOPEN64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
939  {FREOPEN64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
940  {TMPFILE64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
941  {FGETPOS64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
942  {FSETPOS64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
943  {FSEEKO64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
944  {FTELLO64_FUNCTION_NAME, intrinsic_to_identical_post_pv},
945 
946  //MB: not found in C99
947  {SINGLE_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
948  {DOUBLE_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
949  {EXTENDED_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
950  {QUADRUPLE_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
951  {DECIMAL_TO_SINGLE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
952  {DECIMAL_TO_DOUBLE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
953  {DECIMAL_TO_EXTENDED_OPERATOR_NAME, intrinsic_to_identical_post_pv},
954  {DECIMAL_TO_QUADRUPLE_OPERATOR_NAME, intrinsic_to_identical_post_pv},
955  {STRING_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
956  {FUNC_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
957  {FILE_TO_DECIMAL_OPERATOR_NAME, intrinsic_to_identical_post_pv},
958  //3bsd
959  {SECONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
960  {SFCONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
961  {SGCONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
962  {ECONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
963  {FCONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
964  {GCONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
965  {QECONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
966  {QFCONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
967  {QGCONVERT_OPERATOR_NAME, intrinsic_to_identical_post_pv},
968 
969  /* C IO system functions in man -S 2 unistd.h */
970 
971  {C_OPEN_FUNCTION_NAME, unix_io_function_to_post_pv},
972  {CREAT_FUNCTION_NAME, unix_io_function_to_post_pv},
973  {C_CLOSE_FUNCTION_NAME, unix_io_function_to_post_pv},
974  {C_WRITE_FUNCTION_NAME, unix_io_function_to_post_pv},
975  {C_READ_FUNCTION_NAME, unix_io_function_to_post_pv},
976  {LINK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
977  {SYMLINK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
978  {UNLINK_FUNCTION_NAME, intrinsic_to_identical_post_pv},
979 
980  {FCNTL_FUNCTION_NAME, unix_io_function_to_post_pv},
981  {FSYNC_FUNCTION_NAME, unix_io_function_to_post_pv},
982  {FDATASYNC_FUNCTION_NAME, unix_io_function_to_post_pv},
983  {IOCTL_FUNCTION_NAME, unix_io_function_to_post_pv},
984  {SELECT_FUNCTION_NAME, unix_io_function_to_post_pv},
985  {PSELECT_FUNCTION_NAME, unix_io_function_to_post_pv},
986  {STAT_FUNCTION_NAME, intrinsic_to_identical_post_pv}, /* sys/stat.h */
987  {FSTAT_FUNCTION_NAME, unix_io_function_to_post_pv},
988  {LSTAT_FUNCTION_NAME, intrinsic_to_identical_post_pv},
989 
990 
991 
992  /* {char *getenv(const char *, 0, 0},
993  {long int labs(long, 0, 0},
994  {ldiv_t ldiv(long, long, 0, 0},*/
995 
996  /* F95 */
997  {ALLOCATE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
998  {DEALLOCATE_FUNCTION_NAME, unknown_intrinsic_to_post_pv},
999  {ETIME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
1000  {DTIME_FUNCTION_NAME, intrinsic_to_identical_post_pv},
1001 
1002  /* F2003 */
1003  {C_LOC_FUNCTION_NAME, intrinsic_to_identical_post_pv},
1004 
1005  /* BSD <err.h> */
1006  /* SG: concerning the err* family of functions, they also exit() from the program
1007  * This is not represented in the EXIT_FUNCTION_NAME description, so neither it is here
1008  * but it seems an error to me */
1009  {ERR_FUNCTION_NAME, c_io_function_to_post_pv},
1010  {ERRX_FUNCTION_NAME, c_io_function_to_post_pv},
1011  {WARN_FUNCTION_NAME, c_io_function_to_post_pv},
1012  {WARNX_FUNCTION_NAME, c_io_function_to_post_pv},
1013  {VERR_FUNCTION_NAME, c_io_function_to_post_pv},
1014  {VERRX_FUNCTION_NAME, c_io_function_to_post_pv},
1015  {VWARN_FUNCTION_NAME, c_io_function_to_post_pv},
1016  {VWARNX_FUNCTION_NAME, c_io_function_to_post_pv},
1017 
1018  /*Conforming to 4.3BSD, POSIX.1-2001.*/
1019  /* POSIX.1-2001 declares this function obsolete; use nanosleep(2) instead.*/
1020  /*POSIX.1-2008 removes the specification of usleep()*/
1021  {USLEEP_FUNCTION_NAME, intrinsic_to_identical_post_pv},
1022 
1023  /* _POSIX_C_SOURCE >= 199309L */
1024  {NANOSLEEP_FUNCTION_NAME, intrinsic_to_identical_post_pv},
1025 
1026  /* {int mblen(const char *, size_t, 0, 0},
1027  {size_t mbstowcs(wchar_t *, const char *, size_t, 0, 0},
1028  {int mbtowc(wchar_t *, const char *, size_t, 0, 0},
1029  {void qsort(void *, size_t, size_t,
1030  int (*)(const void *, const void *), 0, 0},
1031  {int rand(void, 0, 0},
1032  {void *realloc(void *, size_t, 0, 0},
1033  {void srand(unsigned int, 0, 0},
1034  {double strtod(const char *, char **, 0, 0},
1035  {long int strtol(const char *, char **, int, 0, 0},
1036  {unsigned long int strtoul(const char *, char **, int, 0, 0},
1037  {int system(const char *, 0, 0},
1038  {int wctomb(char *, wchar_t, 0, 0},
1039  {size_t wcstombs(char *, const wchar_t *, size_t, 0, 0},
1040  {void _exithandle(void, 0, 0},
1041  {double drand48(void, 0, 0},
1042  {double erand48(unsigned short *, 0, 0},
1043  {long jrand48(unsigned short *, 0, 0},
1044  {void lcong48(unsigned short *, 0, 0},
1045  {long lrand48(void, 0, 0},
1046  {long mrand48(void, 0, 0},
1047  {long nrand48(unsigned short *, 0, 0},
1048  {unsigned short *seed48(unsigned short *, 0, 0},
1049  {void srand48(long, 0, 0},
1050  {int putenv(char *, 0, 0},
1051  {void setkey(const char *, 0, 0},
1052  {void swab(const char *, char *, ssize_t, 0, 0},
1053  {int mkstemp(char *, 0, 0},
1054  {int mkstemp64(char *, 0, 0},
1055  {long a64l(const char *, 0, 0},
1056  {char *ecvt(double, int, int *, int *, 0, 0},
1057  {char *fcvt(double, int, int *, int *, 0, 0},
1058  {char *gcvt(double, int, char *, 0, 0},
1059  {int getsubopt(char **, char *const *, char **, 0, 0},
1060  {int grantpt(int, 0, 0},
1061  {char *initstate(unsigned, char *, size_t, 0, 0},
1062  {char *l64a(long, 0, 0},
1063  {char *mktemp(char *, 0, 0},
1064  {char *ptsname(int, 0, 0},
1065  {long random(void, 0, 0},
1066  {char *realpath(const char *, char *, 0, 0},
1067  {char *setstate(const char *, 0, 0},
1068  {void srandom(unsigned, 0, 0},
1069  {int ttyslot(void, 0, 0},
1070  {int unlockpt(int, 0, 0},
1071  {void *valloc(size_t, 0, 0},
1072  {int dup2(int, int, 0, 0},
1073  {char *qecvt(long double, int, int *, int *, 0, 0},
1074  {char *qfcvt(long double, int, int *, int *, 0, 0},
1075  {char *qgcvt(long double, int, char *, 0, 0},
1076  {char *getcwd(char *, size_t, 0, 0},
1077  {const char *getexecname(void, 0, 0},
1078  {char *getlogin(void, 0, 0},
1079  {int getopt(int, char *const *, const char *, 0, 0},
1080  {char *optarg;
1081  {int optind, opterr, optopt;
1082  {char *getpass(const char *, 0, 0},
1083  {char *getpassphrase(const char *, 0, 0},
1084  {int getpw(uid_t, char *, 0, 0},
1085  {int isatty(int, 0, 0},
1086  {void *memalign(size_t, size_t, 0, 0},
1087  {char *ttyname(int, 0, 0},
1088  {long long atoll(const char *, 0, 0},
1089  {long long llabs(long long, 0, 0},
1090  {lldiv_t lldiv(long long, long long, 0, 0},
1091  {char *lltostr(long long, char *, 0, 0},
1092  {long long strtoll(const char *, char **, int, 0, 0},
1093  {unsigned long long strtoull(const char *, char **, int, 0, 0},
1094  {char *ulltostr(unsigned long long, char *, 0, 0},*/
1095  {NULL, 0}
1096 };
1097 
1098 /******************************************/
1099 
1100 static void assignment_intrinsic_to_post_pv(entity __attribute__ ((unused))func,
1101  list func_args,
1102  list l_in, pv_results * pv_res,
1103  pv_context *ctxt)
1104 {
1105  expression lhs = EXPRESSION(CAR(func_args));
1106  expression rhs = EXPRESSION(CAR(CDR(func_args)));
1107  assignment_to_post_pv(lhs, false, rhs, false, l_in, pv_res, ctxt);
1108 }
1109 
1110 static void binary_arithmetic_operator_to_post_pv(entity func, list func_args,
1111  list l_in, pv_results * pv_res,
1112  pv_context *ctxt)
1113 {
1114  list l_in_cur;
1115 
1116  pips_debug(1, "begin\n");
1117 
1118  pv_results pv_res1 = make_pv_results();
1119  expression arg1 = EXPRESSION(CAR(func_args));
1120  expression_to_post_pv(arg1, l_in, &pv_res1, ctxt);
1121 
1122  l_in_cur = pv_res1.l_out;
1123  if (l_in != l_in_cur) gen_full_free_list(l_in);
1124 
1125  pv_results pv_res2 = make_pv_results();
1126  expression arg2 = EXPRESSION(CAR(CDR(func_args)));
1127  expression_to_post_pv(arg2, l_in_cur, &pv_res2, ctxt);
1128  if (pv_res2.l_out != l_in_cur) gen_full_free_list(l_in_cur);
1129 
1130 
1131  type t1 = expression_to_type(arg1);
1132  bool pointer_t1 = pointer_type_p(t1);
1133  bool array_t1 = array_type_p(t1);
1134  pips_debug(5, "type t1 is: %s (%s)\n", string_of_type(t1),
1135  type_to_string(t1));
1136 
1137  type t2 = expression_to_type(arg2);
1138  bool pointer_t2 = pointer_type_p(t2);
1139  bool array_t2 = array_type_p(t2);
1140  pips_debug(5, "type t2 is: %s (%s)\n", string_of_type(t2),
1141  type_to_string(t2));
1142 
1143  int nb_dims = 0;
1144 
1145  const char* func_name = entity_local_name(func);
1146 
1147  /* From ISO/IEC 9899:TC3 :
1148 
1149  - For addition, either both operands shall have arithmetic type,
1150  or one operand shall be a pointer to an object type and the other
1151  shall have integer type.
1152 
1153  - For substraction, one of the following shall hold :
1154 
1155  - both operands have arithmetic types
1156  - both operands are pointers to qualified or unqualified versions of
1157  compatible object types;
1158  (in this case, both pointers shall point to elements of the same array object,
1159  or one past the last element of the array object; the result is the difference
1160  of the subscripts of the two array elements)
1161  (as a consequence the result is not of a pointer type)
1162  - the left operand is a pointer to an object type and the right operand has
1163  integer type
1164  */
1165  list l_eff1 = pv_res1.result_paths;
1166  list l_eff2 = pv_res2.result_paths;
1167 
1168  bool pointer_arithmetic = false;
1169  list l_eff_pointer = NIL;
1170  expression other_arg = expression_undefined;
1171 
1172  if ((pointer_t1 || array_t1) && !(pointer_t2 || array_t2))
1173  /* pointer arithmetic, the pointer is in the first expression */
1174  {
1175  pointer_arithmetic = true;
1176  l_eff_pointer = l_eff1;
1177  other_arg = arg2;
1178  nb_dims = pointer_t1 ? 1 : gen_length(variable_dimensions(type_variable(t1)));
1179  }
1180  else if ((pointer_t2 || array_t2) && !(pointer_t1 || array_t1))
1181  {
1182  pointer_arithmetic = true;
1183  l_eff_pointer = l_eff2;
1184  other_arg = arg1;
1185  nb_dims = pointer_t2 ? 1 : gen_length(variable_dimensions(type_variable(t2)));
1186  }
1187  free_type(t1);
1188  free_type(t2);
1189 
1190  if (pointer_arithmetic)
1191  {
1192  free_pv_results_paths(pv_res);
1193  if (!anywhere_effect_p(EFFECT(CAR(l_eff_pointer))))
1194  {
1195  /* build new effects */
1196  list l_new_eff = NIL;
1197  list l_new_eff_kind = NIL;
1198 
1199  if (nb_dims == 1)
1200  {
1201 
1202  pips_debug(3, "one dimension case\n");
1203  expression new_arg = copy_expression(other_arg);
1204 
1205  if (same_string_p(func_name, MINUS_C_OPERATOR_NAME))
1206  {
1207  entity unary_minus_ent =
1208  gen_find_tabulated(make_entity_fullname(TOP_LEVEL_MODULE_NAME,
1209  UNARY_MINUS_OPERATOR_NAME),
1210  entity_domain);
1211  new_arg = MakeUnaryCall(unary_minus_ent, new_arg);
1212  }
1213 
1214  FOREACH(EFFECT, eff, l_eff_pointer)
1215  {
1216  effect new_eff = copy_effect(eff);
1217  reference new_ref = effect_any_reference(new_eff);
1218  list l_inds = reference_indices(new_ref);
1219  if (ENDP(l_inds))
1220  {
1221  // functions that can be pointed by effect_add_expression_dimension_func:
1222  // simple_effect_add_expression_dimension
1223  // convex_region_add_expression_dimension
1224  (*effect_add_expression_dimension_func)(new_eff, new_arg);
1225  }
1226  else
1227  {
1228  expression last_exp = EXPRESSION(CAR(gen_last(l_inds)));
1229  entity binary_plus_ent = gen_find_tabulated(make_entity_fullname(TOP_LEVEL_MODULE_NAME,
1230  PLUS_C_OPERATOR_NAME),
1231  entity_domain);
1232  new_arg = MakeBinaryCall(binary_plus_ent, copy_expression(last_exp), new_arg);
1233  // functions that can be pointed by effect_change_ith_dimension_expression_func:
1234  // simple_effect_change_ith_dimension_expression
1235  // convex_region_change_ith_dimension_expression
1236  (*effect_change_ith_dimension_expression_func)(new_eff, new_arg, (int) gen_length(l_inds));
1237  }
1238  l_new_eff = CONS(EFFECT, new_eff, l_new_eff);
1239  l_new_eff_kind = CONS(CELL_INTERPRETATION,
1240  make_cell_interpretation_address_of(), NIL);
1241  }
1242  free_expression(new_arg);
1243 
1244  }
1245  else
1246  {
1247  pips_debug(3, "several dimensions (%d) case\n", nb_dims);
1248 
1249  // we could do more work to be more precise
1250  expression new_ind = make_unbounded_expression();
1251  FOREACH(EFFECT, eff, l_eff_pointer)
1252  {
1253  effect new_eff = copy_effect(eff);
1254 
1255  for(int i = 1; i <= nb_dims; i++) {
1256  // functions that can be pointed by effect_add_expression_dimension_func:
1257  // simple_effect_add_expression_dimension
1258  // convex_region_add_expression_dimension
1259  (*effect_add_expression_dimension_func)(new_eff, copy_expression(new_ind));
1260  }
1261  l_new_eff = CONS(EFFECT, new_eff, l_new_eff);
1262  l_new_eff_kind = CONS(CELL_INTERPRETATION,
1263  make_cell_interpretation_address_of(), NIL);
1264  }
1265  free_expression(new_ind);
1266  }
1267  gen_nreverse(l_new_eff);
1268  gen_nreverse(l_new_eff_kind);
1269  pv_res->result_paths = l_new_eff;
1270  pv_res->result_paths_interpretations = l_new_eff_kind;
1271  }
1272  }
1273  pv_res->l_out = pv_res2.l_out;
1274  free_pv_results_paths(&pv_res1);
1275  free_pv_results_paths(&pv_res2);
1276  pips_debug_pv_results(1, "end with pv_res =\n", *pv_res);
1277 }
1278 
1279 static void unary_arithmetic_operator_to_post_pv(entity __attribute__ ((unused))func,
1280  list func_args,
1281  list l_in, pv_results * pv_res,
1282  pv_context *ctxt)
1283 {
1284  expression arg = EXPRESSION(CAR(func_args));
1285  expression_to_post_pv(arg, l_in, pv_res, ctxt);
1286  ifdebug(1)
1287  {
1288  type t = expression_to_type(arg);
1289  pips_assert("unary arithmetic operators should not have pointer arguments",
1290  !pointer_type_p(t));
1291  free_type(t);
1292  }
1293 }
1294 
1295 static void update_operator_to_post_pv(entity func, list func_args, list l_in,
1296  pv_results * pv_res, pv_context *ctxt)
1297 {
1298  pips_debug(1, "begin for update operator\n");
1299 
1300  expression arg = EXPRESSION(CAR(func_args));
1301  expression_to_post_pv(arg, l_in, pv_res, ctxt);
1302  list l_in_cur = pv_res->l_out;
1303  if (l_in != l_in_cur) gen_full_free_list(l_in);
1304 
1305  type t = expression_to_type(arg);
1306  if (pointer_type_p(t))
1307  {
1308  list l_lhs_eff = pv_res->result_paths;
1309  //list l_lhs_kind = pv_res->result_paths_interpretations;
1310  const char* func_name = entity_local_name(func);
1311 
1312  pips_assert("update operators admit a single path\n",
1313  gen_length(l_lhs_eff) == (size_t) 1);
1314 
1315  effect lhs_eff = EFFECT(CAR(l_lhs_eff));
1316  effect rhs_eff = copy_effect(lhs_eff);
1317  list l_rhs_kind = CONS(CELL_INTERPRETATION, make_cell_interpretation_address_of(),
1318  NIL);
1319 
1320  if (!anywhere_effect_p(lhs_eff))
1321  {
1322  /* build rhs */
1323  expression new_dim = expression_undefined;
1324 
1325  if (same_string_p(func_name, POST_INCREMENT_OPERATOR_NAME)
1326  || same_string_p(func_name, PRE_INCREMENT_OPERATOR_NAME))
1327  {
1328  new_dim = int_to_expression(1);
1329  }
1330  else if (same_string_p(func_name, POST_DECREMENT_OPERATOR_NAME)
1331  || same_string_p(func_name, PRE_DECREMENT_OPERATOR_NAME))
1332  {
1333  new_dim = int_to_expression(-1);
1334  }
1335  else
1336  //pips_internal_error("unexpected update operator on pointers");
1337  new_dim = make_unbounded_expression();
1338 
1339  // functions that can be pointed by effect_add_expression_dimension_func:
1340  // simple_effect_add_expression_dimension
1341  // convex_region_add_expression_dimension
1342  (*effect_add_expression_dimension_func)(rhs_eff, new_dim);
1343  /*l_lhs_kind = CONS(CELL_INTERPRETATION, make_cell_interpretation_address_of(),
1344  NIL);*/
1345  }
1346  list l_rhs_eff = CONS(EFFECT, rhs_eff, NIL);
1347  single_pointer_assignment_to_post_pv(lhs_eff, l_rhs_eff, l_rhs_kind, false,
1348  l_in_cur, pv_res, ctxt);
1349  }
1350  pips_debug_pv_results(1, "end with pv_res:\n", *pv_res);
1351 }
1352 
1353 static void logical_operator_to_post_pv(entity __attribute__ ((unused))func,
1354  list func_args, list l_in,
1355  pv_results *pv_res, pv_context *ctxt)
1356 {
1357  expression e1 = EXPRESSION(CAR(func_args));
1358  expression e2 = EXPRESSION(CAR(CDR(func_args)));
1359  pv_results pv_res1 = make_pv_results();
1360 
1361  /* If it is a pure logical operator (&& or ||), there is a
1362  sequence point just after the evaluation of the first operand
1363  so we must evaluate the second operand in the memory store
1364  resulting from the evaluation of the first operand.
1365  If it's a relational operator, the evaluation order is not important,
1366  so let's do the same !
1367  */
1368  /* first operand */
1369  expression_to_post_pv(e1, l_in, &pv_res1, ctxt);
1370  list l_in_cur = pv_res1.l_out;
1371  if (l_in != l_in_cur) gen_full_free_list(l_in);
1372  free_pv_results_paths(&pv_res1);
1373 
1374  /* second operand */
1375  expression_to_post_pv(e2, l_in_cur, pv_res, ctxt);
1376  free_pv_results_paths(pv_res);
1377  /* the resulting path of a relational expression is not a pointer value */
1378  pv_res->result_paths = NIL;
1379  pv_res->result_paths_interpretations = NIL;
1380 }
1381 
1382 static void conditional_operator_to_post_pv(entity __attribute__ ((unused)) func,
1383  list func_args, list l_in,
1384  pv_results * pv_res, pv_context *ctxt)
1385 {
1386  pips_debug(1, "begin for conditional operator\n");
1387 
1388  expression t_cond = EXPRESSION(CAR(func_args));
1389  POP(func_args);
1390  expression t_true = EXPRESSION(CAR(func_args));
1391  POP(func_args);
1392  expression t_false = EXPRESSION(CAR(func_args));
1393 
1394  pv_results pv_res_cond = make_pv_results();
1395  expression_to_post_pv(t_cond, l_in, &pv_res_cond, ctxt);
1396 
1397  list l_in_branches = pv_res_cond.l_out;
1398 
1399  pv_results pv_res_true = make_pv_results();
1400  list l_in_true = gen_full_copy_list(l_in_branches);
1401  expression_to_post_pv(t_true, l_in_true, &pv_res_true, ctxt);
1402  if (pv_res_true.l_out != l_in_true) gen_full_free_list(l_in_true);
1403 
1404  pv_results pv_res_false = make_pv_results();
1405  list l_in_false = gen_full_copy_list(l_in_branches);
1406  expression_to_post_pv(t_false, l_in_false, &pv_res_false, ctxt);
1407  if (pv_res_false.l_out != l_in_false) gen_full_free_list(l_in_false);
1408 
1409 
1410  pv_res->l_out = (*ctxt->pvs_may_union_func)(pv_res_true.l_out,
1411  gen_full_copy_list(pv_res_false.l_out));
1412 
1413  /* well, it should be a union, but there may not be such stupid things as (..)? a:a;
1414  I cannot use the effects test union operator because I must also merge
1415  interpretations */
1416  pv_res->result_paths = gen_nconc(pv_res_true.result_paths, pv_res_false.result_paths);
1417  effects_to_may_effects(pv_res->result_paths);
1418  pv_res->result_paths_interpretations =
1419  gen_nconc(pv_res_true.result_paths_interpretations,
1420  pv_res_false.result_paths_interpretations);
1421 
1422  pips_debug_pv_results(1, "end with pv_results =\n", *pv_res);
1423  pips_debug(1, "end\n");
1424 
1425 }
1426 
1427 
1428 
1429 static void dereferencing_to_post_pv(entity __attribute__ ((unused))func, list func_args,
1430  list l_in, pv_results * pv_res, pv_context *ctxt)
1431 {
1432  expression_to_post_pv(EXPRESSION(CAR(func_args)), l_in, pv_res, ctxt);
1433  list l_eff_ci = pv_res->result_paths_interpretations;
1434  FOREACH(EFFECT, eff, pv_res->result_paths)
1435  {
1436  cell_interpretation ci = CELL_INTERPRETATION(CAR(l_eff_ci));
1437  if (cell_interpretation_value_of_p(ci))
1438  effect_add_dereferencing_dimension(eff);
1439  else
1440  cell_interpretation_tag(ci) = is_cell_interpretation_value_of;
1441  POP(l_eff_ci);
1442  }
1443 }
1444 
1445 static void field_to_post_pv(entity __attribute__ ((unused))func, list func_args,
1446  list l_in, pv_results * pv_res, pv_context *ctxt)
1447 {
1448  expression e2 = EXPRESSION(CAR(CDR(func_args)));
1449  syntax s2 = expression_syntax(e2);
1450  reference r2 = syntax_reference(s2);
1451  entity f = reference_variable(r2);
1452 
1453  pips_assert("e2 is a reference", syntax_reference_p(s2));
1454  pips_debug(4, "It's a field operator\n");
1455 
1456  expression_to_post_pv(EXPRESSION(CAR(func_args)), l_in, pv_res, ctxt);
1457  FOREACH(EFFECT, eff, pv_res->result_paths)
1458  {
1459  effect_add_field_dimension(eff,f);
1460  }
1461 }
1462 
1463 static void point_to_to_post_pv(entity __attribute__ ((unused))func, list func_args,
1464  list l_in, pv_results * pv_res, pv_context *ctxt)
1465 {
1466  expression e2 = EXPRESSION(CAR(CDR(func_args)));
1467  syntax s2 = expression_syntax(e2);
1468  entity f;
1469 
1470  pips_assert("e2 is a reference", syntax_reference_p(s2));
1471  f = reference_variable(syntax_reference(s2));
1472 
1473  pips_debug(4, "It's a point to operator\n");
1474  expression_to_post_pv(EXPRESSION(CAR(func_args)), l_in, pv_res, ctxt);
1475 
1476  FOREACH(EFFECT, eff, pv_res->result_paths)
1477  {
1478  /* We add a dereferencing */
1479  effect_add_dereferencing_dimension(eff);
1480  /* we add the field dimension */
1481  effect_add_field_dimension(eff,f);
1482  }
1483 }
1484 
1485 static void address_of_to_post_pv(entity __attribute__ ((unused))func, list func_args,
1486  list l_in, pv_results * pv_res, pv_context *ctxt)
1487 {
1488  expression_to_post_pv(EXPRESSION(CAR(func_args)), l_in, pv_res, ctxt);
1489  FOREACH(CELL_INTERPRETATION, ci, pv_res->result_paths_interpretations)
1490  {
1491  cell_interpretation_tag(ci) = is_cell_interpretation_address_of;
1492  }
1493 }
1494 
1495 static void c_io_function_to_post_pv(entity func, list func_args, list l_in,
1496  pv_results * pv_res, pv_context *ctxt)
1497 {
1498  const char* func_name = entity_local_name(func);
1499  list general_args = NIL;
1500  bool free_general_args = false;
1501  list l_in_cur = l_in;
1502 
1503  /* first argument is a FILE* */
1504  if (same_string_p(func_name,FCLOSE_FUNCTION_NAME)
1505  || same_string_p(func_name,FPRINTF_FUNCTION_NAME)
1506  || same_string_p(func_name,FSCANF_FUNCTION_NAME)
1507  || same_string_p(func_name,VFPRINTF_FUNCTION_NAME)
1508  || same_string_p(func_name,VFSCANF_FUNCTION_NAME)
1509  || same_string_p(func_name,ISOC99_VFSCANF_FUNCTION_NAME)
1510  || same_string_p(func_name,FGETC_FUNCTION_NAME)
1511  || same_string_p(func_name,GETC_FUNCTION_NAME)
1512  || same_string_p(func_name,_IO_GETC_FUNCTION_NAME)
1513  || same_string_p(func_name,FGETPOS_FUNCTION_NAME)
1514  || same_string_p(func_name,FSEEK_FUNCTION_NAME)
1515  || same_string_p(func_name,FSETPOS_FUNCTION_NAME)
1516  || same_string_p(func_name,FTELL_FUNCTION_NAME)
1517  || same_string_p(func_name,C_REWIND_FUNCTION_NAME)
1518  || same_string_p(func_name,CLEARERR_FUNCTION_NAME)
1519  || same_string_p(func_name,FEOF_FUNCTION_NAME)
1520  || same_string_p(func_name,FERROR_FUNCTION_NAME))
1521  {
1522  general_args = CDR(func_args);
1523  }
1524  /* last argument is a FILE* */
1525  else if (same_string_p(func_name,FGETS_FUNCTION_NAME)
1526  || same_string_p(func_name,FPUTC_FUNCTION_NAME)
1527  || same_string_p(func_name,FPUTS_FUNCTION_NAME)
1528  || same_string_p(func_name,PUTC_FUNCTION_NAME)
1529  || same_string_p(func_name,_IO_PUTC_FUNCTION_NAME)
1530  || same_string_p(func_name,UNGETC_FUNCTION_NAME)
1531  || same_string_p(func_name,FREAD_FUNCTION_NAME)
1532  || same_string_p(func_name,FWRITE_FUNCTION_NAME))
1533  {
1534  for(; !ENDP(CDR(func_args)); POP(func_args))
1535  {
1536  general_args = CONS(EXPRESSION, EXPRESSION(CAR(func_args)), general_args);
1537  }
1538  free_general_args = true;
1539  }
1540 
1541  /* we assume that there is no effects on aliasing due to FILE* argument if any */
1542 
1543  safe_intrinsic_to_post_pv(func, general_args, l_in_cur, pv_res, ctxt);
1544 
1545  if (free_general_args)
1546  gen_free_list(general_args);
1547 }
1548 
1549 static void unix_io_function_to_post_pv(entity func, list func_args, list l_in,
1550  pv_results * pv_res, pv_context *ctxt)
1551 {
1552  safe_intrinsic_to_post_pv(func, func_args, l_in, pv_res, ctxt);
1553 }
1554 
1555 static void string_function_to_post_pv(entity func, list func_args, list l_in,
1556  pv_results * pv_res, pv_context *ctxt)
1557 {
1558  safe_intrinsic_to_post_pv(func, func_args, l_in, pv_res, ctxt);
1559 }
1560 
1561 static void va_list_function_to_post_pv(entity func, list func_args, list l_in,
1562  pv_results * pv_res, pv_context *ctxt)
1563 {
1564  safe_intrinsic_to_post_pv(func, func_args, l_in, pv_res, ctxt);
1565 }
1566 
1567 
1568 static void free_to_post_pv(list l_free_eff, list l_in,
1569  pv_results * pv_res, pv_context *ctxt)
1570 {
1571  pips_debug_effects(5, "begin with input effects :\n", l_free_eff);
1572 
1573  FOREACH(EFFECT, eff, l_free_eff)
1574  {
1575  /* for each freed pointer, find it's targets */
1576 
1577  list l_remnants = NIL;
1578  cell_relation exact_eff_pv = cell_relation_undefined;
1579  list l_values = NIL;
1580 
1581  pips_debug_effect(4, "begin, looking for an exact target for eff:\n",
1582  eff);
1583 
1584  l_values = effect_find_equivalent_pointer_values(eff, l_in,
1585  &exact_eff_pv,
1586  &l_remnants);
1587  pips_debug_pvs(3, "l_values:\n", l_values);
1588  pips_debug_pvs(3, "l_remnants:\n", l_remnants);
1589  pips_debug_pv(3, "exact_eff_pv:\n", exact_eff_pv);
1590 
1591  list l_heap_eff = NIL;
1592 
1593  if (exact_eff_pv != cell_relation_undefined)
1594  {
1595  cell heap_c = cell_undefined;
1596  /* try to find the heap location */
1597  cell c1 = cell_relation_first_cell(exact_eff_pv);
1598  entity e1 = reference_variable(cell_reference(c1));
1599 
1600  cell c2 = cell_relation_second_cell(exact_eff_pv);
1601  entity e2 = reference_variable(cell_reference(c2));
1602 
1603  if (entity_flow_or_context_sentitive_heap_location_p(e1))
1604  heap_c = c1;
1605  else if (entity_flow_or_context_sentitive_heap_location_p(e2))
1606  heap_c = c2;
1607  if (!cell_undefined_p(heap_c))
1608  l_heap_eff =
1609  CONS(EFFECT,
1610  make_effect(copy_cell(heap_c),
1611  make_action_write_memory(),
1612  copy_approximation(effect_approximation(eff)),
1613  make_descriptor_none()),
1614  NIL);
1615  else
1616  {
1617  /* try to find the heap target in remants */
1618  cell other_c = cell_undefined;
1619  if (same_entity_p(effect_entity(eff), e1))
1620  other_c = c2;
1621  else other_c = c1;
1622  list l_tmp =
1623  CONS(EFFECT,
1624  make_effect(copy_cell(other_c),
1625  make_action_write_memory(),
1626  copy_approximation(effect_approximation(eff)),
1627  make_descriptor_none()),
1628  NIL);
1629  free_to_post_pv(l_tmp, l_remnants, pv_res, ctxt);
1630  pv_res->l_out = CONS(CELL_RELATION,
1631  copy_cell_relation(exact_eff_pv),
1632  pv_res->l_out);
1633  gen_free_list(l_tmp);
1634  return;
1635  }
1636  }
1637  else
1638  {
1639  /* try first to find another target */
1640  FOREACH(CELL_RELATION, pv_tmp, l_values) {
1641  cell heap_c = cell_undefined;
1642  /* try to find the heap location */
1643  cell c1 = cell_relation_first_cell(pv_tmp);
1644  entity e1 = reference_variable(cell_reference(c1));
1645 
1646  cell c2 = cell_relation_second_cell(pv_tmp);
1647  entity e2 = reference_variable(cell_reference(c2));
1648 
1649  if (entity_flow_or_context_sentitive_heap_location_p(e1))
1650  heap_c = c1;
1651  else if (entity_flow_or_context_sentitive_heap_location_p(e2))
1652  heap_c = c2;
1653  if (!cell_undefined_p(heap_c))
1654  l_heap_eff =
1655  CONS(EFFECT,
1656  make_effect(copy_cell(heap_c),
1657  make_action_write_memory(),
1658  cell_relation_exact_p(pv_tmp)
1659  ? copy_approximation
1660  (effect_approximation(eff))
1661  :make_approximation_may(),
1662  make_descriptor_none()),
1663  NIL);
1664 
1665  }
1666  }
1667 
1668  if (!ENDP(l_heap_eff))
1669  {
1670  /* assign an undefined_value to freed pointer */
1671  list l_rhs =
1672  CONS(EFFECT,
1673  make_effect( make_undefined_pointer_value_cell(),
1674  make_action_write_memory(),
1675  make_approximation_exact(),
1676  make_descriptor_none()),
1677  NIL);
1678  list l_kind = CONS(CELL_INTERPRETATION,
1679  make_cell_interpretation_value_of(),
1680  NIL);
1681  single_pointer_assignment_to_post_pv(eff, l_rhs, l_kind,
1682  false, l_in, pv_res, ctxt);
1683  gen_full_free_list(l_rhs);
1684  gen_full_free_list(l_kind);
1685  free_pv_results_paths(pv_res);
1686  if (l_in != pv_res->l_out)
1687  {
1688  gen_full_free_list(l_in);
1689  l_in = pv_res->l_out;
1690  }
1691  pips_debug_pvs(5, "l_in after assigning "
1692  "undefined value to freed pointer:\n",
1693  l_in);
1694 
1695  FOREACH(EFFECT, heap_eff, l_heap_eff)
1696  {
1697  entity heap_e =
1698  reference_variable(effect_any_reference(heap_eff));
1699  pips_debug(5, "heap entity found (%s)\n", entity_name(heap_e));
1700 
1701  pointer_values_remove_var(heap_e,
1702  effect_may_p(eff)
1703  || effect_may_p(heap_eff),
1704  l_in,
1705  pv_res, ctxt);
1706  l_in= pv_res->l_out;
1707  }
1708  }
1709  else /* no flow or context sensitive variable found */
1710  {
1711  list l_rhs =
1712  CONS(EFFECT,
1713  make_effect( make_undefined_pointer_value_cell(),
1714  make_action_write_memory(),
1715  make_approximation_exact(),
1716  make_descriptor_none()),
1717  NIL);
1718  list l_kind = CONS(CELL_INTERPRETATION,
1719  make_cell_interpretation_value_of(),
1720  NIL);
1721  single_pointer_assignment_to_post_pv(eff, l_rhs, l_kind,
1722  false, l_in, pv_res, ctxt);
1723  gen_full_free_list(l_rhs);
1724  gen_full_free_list(l_kind);
1725  free_pv_results_paths(pv_res);
1726  if (l_in != pv_res->l_out)
1727  {
1728  gen_full_free_list(l_in);
1729  l_in = pv_res->l_out;
1730  }
1731  pips_debug_pvs(5, "l_in after assigning "
1732  "undefined value to freed pointer:\n",
1733  l_in);
1734  }
1735 
1736  } /* FOREACH */
1737  pips_debug_pvs(5, "end with pv_res->l_out:", pv_res->l_out);
1738 }
1739 
1740 static void heap_intrinsic_to_post_pv(entity func, list func_args, list l_in,
1741  pv_results * pv_res, pv_context *ctxt)
1742 {
1743  const char* func_name = entity_local_name(func);
1744  expression malloc_arg = expression_undefined;
1745  bool free_malloc_arg = false;
1746  list l_in_cur = l_in;
1747 
1748 
1749  /* free the previously allocated path if need be */
1750  if (same_string_p(func_name, FREE_FUNCTION_NAME)
1751  || same_string_p(func_name, REALLOC_FUNCTION_NAME))
1752  {
1753  expression free_ptr_exp = EXPRESSION(CAR(func_args));
1754 
1755  pv_results pv_res_arg = make_pv_results();
1756  expression_to_post_pv(free_ptr_exp, l_in_cur, &pv_res_arg, ctxt);
1757  if (pv_res_arg.l_out != l_in_cur)
1758  {
1759  gen_full_free_list(l_in_cur);
1760  l_in_cur = pv_res_arg.l_out;
1761  }
1762  free_to_post_pv(pv_res_arg.result_paths, l_in_cur, pv_res, ctxt);
1763  l_in_cur = pv_res->l_out;
1764  }
1765 
1766  /* Then retrieve the allocated path if any */
1767  if(same_string_p(func_name, MALLOC_FUNCTION_NAME))
1768  {
1769  malloc_arg = EXPRESSION(CAR(func_args));
1770  }
1771  else if(same_string_p(func_name, CALLOC_FUNCTION_NAME))
1772  {
1773  malloc_arg =
1774  make_op_exp("*",
1775  copy_expression(EXPRESSION(CAR(func_args))),
1776  copy_expression(EXPRESSION(CAR(CDR(func_args)))));
1777  free_malloc_arg = true;
1778  }
1779  else if (same_string_p(func_name, REALLOC_FUNCTION_NAME))
1780  {
1781  malloc_arg = EXPRESSION(CAR(CDR(func_args)));
1782  }
1783  else if (same_string_p(func_name, STRDUP_FUNCTION_NAME))
1784  {
1785  malloc_arg = MakeBinaryCall(
1786  entity_intrinsic(PLUS_OPERATOR_NAME),
1787  int_to_expression(1),
1788  MakeUnaryCall(
1789  entity_intrinsic(STRLEN_FUNCTION_NAME),
1790  copy_expression(EXPRESSION(CAR(func_args)))
1791  )
1792  );
1793  free_malloc_arg = true;
1794  }
1795 
1796  if (!expression_undefined_p(malloc_arg))
1797  {
1798 
1799  /* first, impact of argument evaluation on pointer values */
1800  pv_results pv_res_arg = make_pv_results();
1801  expression_to_post_pv(malloc_arg, l_in_cur, &pv_res_arg, ctxt);
1802  free_pv_results_paths(&pv_res_arg);
1803  if (pv_res_arg.l_out != l_in_cur)
1804  {
1805  gen_full_free_list(l_in_cur);
1806  l_in_cur = pv_res_arg.l_out;
1807  }
1808 
1809  sensitivity_information si =
1810  make_sensitivity_information(pv_context_statement_head(ctxt),
1811  get_current_module_entity(),
1812  NIL);
1813  entity e = malloc_to_abstract_location(malloc_arg, &si);
1814 
1815  effect eff = make_effect(make_cell_reference(make_reference(e, NIL)),
1816  make_action_write_memory(),
1817  make_approximation_exact(),
1818  make_descriptor_none());
1819 
1820  if (!entity_all_heap_locations_p(e) &&
1821  !entity_all_module_heap_locations_p(e))
1822  {
1823  if (!entity_scalar_p(e))
1824  effect_add_dereferencing_dimension(eff); // well, in fact, it's a [0] array dimension!
1825  }
1826  else
1827  effect_to_may_effect(eff);
1828  pv_res->result_paths = CONS(EFFECT, eff, NIL);
1829  pv_res->result_paths_interpretations =
1830  CONS(CELL_INTERPRETATION,
1831  make_cell_interpretation_address_of(),
1832  NIL);
1833  if (free_malloc_arg)
1834  free_expression(malloc_arg);
1835  }
1836 
1837  pv_res->l_out = l_in_cur;
1838 }
1839 
1840 #if 0
1841 static void stop_to_post_pv(entity __attribute__ ((unused))func, list func_args,
1842  list l_in, pv_results * pv_res, pv_context *ctxt)
1843 {
1844  /* The call is never returned from. No information is available
1845  for the dead code that follows.
1846  */
1847  pv_res->l_out = NIL;
1848  pv_res->result_paths = NIL;
1849  pv_res->result_paths_interpretations = NIL;
1850 }
1851 #endif
1852 
1853 static void c_return_to_post_pv(entity __attribute__ ((unused)) func, list func_args,
1854  list l_in, pv_results * pv_res, pv_context *ctxt)
1855 {
1856  /* but we have to evaluate the impact
1857  of the argument evaluation on pointer values
1858  eliminate local variables, retrieve the value of the returned pointer if any...
1859  */
1860  if (!ENDP(func_args))
1861  expression_to_post_pv(EXPRESSION(CAR(func_args)), l_in, pv_res, ctxt);
1862 }
1863 
1864 static void safe_intrinsic_to_post_pv(entity __attribute__ ((unused)) func,
1865  list func_args, list l_in,
1866  pv_results * pv_res, pv_context *ctxt)
1867 {
1868  /* first assume that all pointers reachable from arguments are written and set to
1869  anywhere */
1870  /* this should be quickly refined */
1871  list l_anywhere_eff = CONS(EFFECT, make_anywhere_effect(make_action_write_memory()),
1872  NIL);
1873  list l_rhs_kind = CONS(CELL_INTERPRETATION,
1874  make_cell_interpretation_address_of(), NIL);
1875 
1876  pips_debug(1, "begin\n");
1877 
1878  if (!ENDP(func_args))
1879  {
1880  list lw = NIL;
1881  list l_in_cur = l_in;
1882  FOREACH(EXPRESSION, arg, func_args)
1883  {
1884  pv_results pv_res_arg = make_pv_results();
1885  expression_to_post_pv(arg, l_in_cur, &pv_res_arg, ctxt);
1886  free_pv_results_paths(&pv_res_arg);
1887  if (pv_res_arg.l_out != l_in_cur)
1888  {
1889  //gen_full_free_list(l_in_cur);
1890  l_in_cur = pv_res_arg.l_out;
1891  }
1892  /* well this is not safe in case of arguments with external function calls
1893  I should use the result paths of pv_res_arg, but there is a lot of work
1894  done in c_actual_argument_to_may_ summary_effect about arrays, and I'm not
1895  sure expression_to_post_pv does the same job
1896  */
1897  lw = gen_nconc(lw, c_actual_argument_to_may_summary_effects(arg, 'w'));
1898  }
1899 
1900  pips_debug_effects(3, "effects to be killed: \n", lw);
1901 
1902  /* assume all pointers now point to anywhere */
1903 
1904  FOREACH(EFFECT, eff, lw)
1905  {
1906  bool to_be_freed = false;
1907  type t = cell_to_type(effect_cell(eff), &to_be_freed);
1908  if (pointer_type_p(t))
1909  {
1910  single_pointer_assignment_to_post_pv(eff,
1911  l_anywhere_eff, l_rhs_kind,
1912  false, l_in_cur,
1913  pv_res, ctxt);
1914  if (pv_res->l_out != l_in_cur)
1915  {
1916  gen_full_free_list(l_in_cur);
1917  l_in_cur = pv_res->l_out;
1918  }
1919  free_pv_results_paths(pv_res);
1920  }
1921  if (to_be_freed) free_type(t);
1922  }
1923  pv_res->l_out = l_in_cur;
1924  }
1925  else
1926  pv_res->l_out = l_in;
1927  /* then retrieve the return value type to set pv_res->result_paths */
1928  /* if it is a pointer type, set it to anywhere for the moment
1929  specific work should be done for each intrinsic
1930  */
1931  pv_res->result_paths = l_anywhere_eff;
1932  pv_res->result_paths_interpretations = l_rhs_kind;
1933 
1934  pips_debug_pv_results(1, "ending with pv_res:", *pv_res);
1935 
1936 }
1937 
1938 static void intrinsic_to_identical_post_pv(entity __attribute__ ((unused)) func,
1939  list __attribute__ ((unused)) func_args,
1940  list l_in, pv_results * pv_res, pv_context __attribute__ ((unused)) *ctxt)
1941 {
1942  pv_res->l_out = l_in;
1943 }
1944 
1945 static void unknown_intrinsic_to_post_pv(entity __attribute__ ((unused)) func,
1946  list __attribute__ ((unused)) func_args,
1947  list __attribute__ ((unused)) l_in,
1948  pv_results __attribute__ ((unused)) *pv_res,
1949  pv_context __attribute__ ((unused)) *ctxt)
1950 {
1951  pips_internal_error("not a C intrinsic");
1952 }
1953 
1954 static void default_intrinsic_to_post_pv(entity __attribute__ ((unused)) func,
1955  list func_args, list l_in,
1956  pv_results * pv_res, pv_context *ctxt)
1957 {
1958  list l_in_cur = l_in;
1959  FOREACH(EXPRESSION, arg, func_args)
1960  {
1961  /* free the result paths of the previous expression evaluation */
1962  free_pv_results_paths(pv_res);
1963  expression_to_post_pv(arg, l_in_cur, pv_res, ctxt);
1964  l_in_cur = pv_res->l_out;
1965  }
1966 }
1967 
1968 
1969 void intrinsic_to_post_pv(entity func, list func_args, list l_in,
1970  pv_results * pv_res, pv_context *ctxt)
1971 {
1972  const char* func_name = entity_local_name(func);
1973  pips_debug(1, "begin for %s\n", func_name);
1974 
1975  IntrinsicToPostPVDescriptor *pid = IntrinsicToPostPVDescriptorTable;
1976 
1977  while (pid->name != NULL)
1978  {
1979  if (strcmp(pid->name, func_name) == 0)
1980  {
1981  (*(pid->to_post_pv_function))(func, func_args, l_in, pv_res, ctxt);
1982  pips_debug_pv_results(2, "resulting pv_res:", *pv_res);
1983  pips_debug(1, "end\n");
1984  return;
1985  }
1986  pid += 1;
1987  }
1988 
1989  pips_internal_error("unknown intrinsic %s", func_name);
1990  pips_debug(1, "end\n");
1991  return;
1992 }
1993 
__attribute__
float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
Definition: 3dnow.h:3
make_cell_reference
cell make_cell_reference(reference _field_)
Definition: effects.c:293
make_cell_interpretation_value_of
cell_interpretation make_cell_interpretation_value_of(void)
Definition: effects.c:237
make_cell_interpretation_address_of
cell_interpretation make_cell_interpretation_address_of(void)
Definition: effects.c:240
make_approximation_exact
approximation make_approximation_exact(void)
Definition: effects.c:185
copy_approximation
approximation copy_approximation(approximation p)
APPROXIMATION.
Definition: effects.c:132
make_approximation_may
approximation make_approximation_may(void)
Definition: effects.c:179
make_effect
effect make_effect(cell a1, action a2, approximation a3, descriptor a4)
Definition: effects.c:484
copy_cell_relation
cell_relation copy_cell_relation(cell_relation p)
CELL_RELATION.
Definition: effects.c:305
copy_effect
effect copy_effect(effect p)
EFFECT.
Definition: effects.c:448
make_descriptor_none
descriptor make_descriptor_none(void)
Definition: effects.c:442
copy_cell
cell copy_cell(cell p)
CELL.
Definition: effects.c:246
copy_expression
expression copy_expression(expression p)
EXPRESSION.
Definition: ri.c:850
make_reference
reference make_reference(entity a1, list a2)
Definition: ri.c:2083
free_expression
void free_expression(expression p)
Definition: ri.c:853
free_type
void free_type(type p)
Definition: ri.c:2658
make_sensitivity_information
sensitivity_information make_sensitivity_information(statement current_stmt, entity current_module, list enclosing_flow)
Definition: abstract_location.c:522
malloc_to_abstract_location
entity malloc_to_abstract_location(expression malloc_exp, sensitivity_information *psi)
generate an abstract heap location entity
Definition: abstract_location.c:389
entity_flow_or_context_sentitive_heap_location_p
bool entity_flow_or_context_sentitive_heap_location_p(entity e)
Definition: abstract_location.c:147
entity_all_module_heap_locations_p
bool entity_all_module_heap_locations_p(entity e)
test if an entity is the a heap area
Definition: anywhere_abstract_locations.c:483
entity_all_heap_locations_p
bool entity_all_heap_locations_p(entity e)
test if an entity is the set of all heap locations
Definition: anywhere_abstract_locations.c:505
int
void const char const char const int
Definition: arithmetique-local.h:585
pips_debug_effects
#define pips_debug_effects(level, message, l_eff)
Definition: effects-generic-local.h:51
pips_debug_effect
#define pips_debug_effect(level, message, eff)
for debug
Definition: effects-generic-local.h:46
effects_to_may_effects
void effects_to_may_effects(list)
make_anywhere_effect
effect make_anywhere_effect(action)
effect_add_dereferencing_dimension
void effect_add_dereferencing_dimension(effect)
effect_to_may_effect
void effect_to_may_effect(effect)
c_actual_argument_to_may_summary_effects
list c_actual_argument_to_may_summary_effects(expression, tag)
effect_add_field_dimension
void effect_add_field_dimension(effect, entity)
effect_may_p
#define effect_may_p(eff)
Definition: effects-util-local.h:74
effect_any_reference
#define effect_any_reference(e)
FI: cannot be used as a left hand side.
Definition: effects-util-local.h:131
pips_debug_pv
#define pips_debug_pv(level, message, pv)
Definition: effects-util-local.h:189
cell_relation_second_cell
#define cell_relation_second_cell(cr)
Definition: effects-util-local.h:168
pips_debug_pvs
#define pips_debug_pvs(level, message, l_pv)
Definition: effects-util-local.h:193
cell_relation_exact_p
#define cell_relation_exact_p(cr)
Definition: effects-util-local.h:186
cell_relation_first_cell
#define cell_relation_first_cell(cr)
Definition: effects-util-local.h:156
cell_to_type
type cell_to_type(cell, bool *)
Definition: type.c:513
effect_entity
entity effect_entity(effect)
cproto-generated files
Definition: effects.c:52
make_action_write_memory
action make_action_write_memory(void)
To ease the extension of action with action_kind.
Definition: effects.c:1011
anywhere_effect_p
bool anywhere_effect_p(effect)
Is it an anywhere effect? ANYMMODULE:ANYWHERE
Definition: effects.c:346
make_undefined_pointer_value_cell
cell make_undefined_pointer_value_cell(void)
Definition: pointer_values.c:62
cell_reference
#define cell_reference(x)
Definition: effects.h:469
CELL_RELATION
#define CELL_RELATION(x)
CELL_RELATION.
Definition: effects.h:479
cell_undefined_p
#define cell_undefined_p(x)
Definition: effects.h:431
cell_interpretation_tag
#define cell_interpretation_tag(x)
Definition: effects.h:414
is_cell_interpretation_address_of
@ is_cell_interpretation_address_of
Definition: effects.h:397
is_cell_interpretation_value_of
@ is_cell_interpretation_value_of
Definition: effects.h:396
cell_undefined
#define cell_undefined
Definition: effects.h:430
cell_relation_undefined
#define cell_relation_undefined
Definition: effects.h:485
cell_interpretation_value_of_p
#define cell_interpretation_value_of_p(x)
Definition: effects.h:415
effect_approximation
#define effect_approximation(x)
Definition: effects.h:644
CELL_INTERPRETATION
#define CELL_INTERPRETATION(x)
CELL_INTERPRETATION.
Definition: effects.h:375
EFFECT
#define EFFECT(x)
EFFECT.
Definition: effects.h:608
effect_cell
#define effect_cell(x)
Definition: effects.h:640
make_entity_fullname
string make_entity_fullname(const char *module_name, const char *local_name)
END_EOLE.
Definition: entity_names.c:230
gen_full_free_list
void gen_full_free_list(list l)
Definition: genClib.c:1023
get_current_module_entity
entity get_current_module_entity(void)
Get the entity of the current module.
Definition: static.c:85
ENDP
#define ENDP(l)
Test if a list is empty.
Definition: newgen_list.h:66
gen_nreverse
list gen_nreverse(list cp)
reverse a list in place
Definition: list.c:304
POP
#define POP(l)
Modify a list pointer to point on the next element of the list.
Definition: newgen_list.h:59
NIL
#define NIL
The empty list (nil in Lisp)
Definition: newgen_list.h:47
gen_length
size_t gen_length(const list l)
Definition: list.c:150
CONS
#define CONS(_t_, _i_, _l_)
List element cell constructor (insert an element at the beginning of a list)
Definition: newgen_list.h:150
gen_nconc
list gen_nconc(list cp1, list cp2)
physically concatenates CP1 and CP2 but do not duplicates the elements
Definition: list.c:344
CAR
#define CAR(pcons)
Get the value of the first element of a list.
Definition: newgen_list.h:92
gen_free_list
void gen_free_list(list l)
free the spine of the list
Definition: list.c:327
gen_last
list gen_last(list l)
Return the last element of a list.
Definition: list.c:578
FOREACH
#define FOREACH(_fe_CASTER, _fe_item, _fe_list)
Apply/map an instruction block on all the elements of a list.
Definition: newgen_list.h:179
CDR
#define CDR(pcons)
Get the list less its first element.
Definition: newgen_list.h:111
gen_full_copy_list
list gen_full_copy_list(list l)
Copy a list structure with element copy.
Definition: list.c:535
pips_debug
#define pips_debug
these macros use the GNU extensions that allow variadic macros, including with an empty list.
Definition: misc-local.h:145
pips_assert
#define pips_assert(what, predicate)
common macros, two flavors depending on NDEBUG
Definition: misc-local.h:172
pips_internal_error
#define pips_internal_error
Definition: misc-local.h:149
LIST_DIRECTED_FORMAT_NAME
#define LIST_DIRECTED_FORMAT_NAME
Definition: naming-local.h:97
TOP_LEVEL_MODULE_NAME
#define TOP_LEVEL_MODULE_NAME
Module containing the global variables in Fortran and C.
Definition: naming-local.h:101
same_string_p
#define same_string_p(s1, s2)
Definition: newgen_include.h:198
gen_find_tabulated
void * gen_find_tabulated(const char *, int)
Definition: tabulated.c:218
f
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Definition: offsets.c:15
pips_debug_pv_results
#define pips_debug_pv_results(level, message, pv_res)
Definition: pointer_values-local.h:83
pointer_values.h
pointer_values_remove_var
void pointer_values_remove_var(entity, bool, list, pv_results *, pv_context *)
Definition: pointer_values_operators.c:693
make_pv_results
pv_results make_pv_results(void)
Definition: pointer_values_analyses.c:194
assignment_to_post_pv
void assignment_to_post_pv(expression, bool, expression, bool, list, pv_results *, pv_context *)
Definition: pointer_values_analyses.c:1582
expression_to_post_pv
void expression_to_post_pv(expression, list, pv_results *, pv_context *)
Definition: pointer_values_analyses.c:930
single_pointer_assignment_to_post_pv
void single_pointer_assignment_to_post_pv(effect, list, list, bool, list, pv_results *, pv_context *)
Definition: pointer_values_analyses.c:1253
free_pv_results_paths
void free_pv_results_paths(pv_results *)
Definition: pointer_values_analyses.c:203
effect_find_equivalent_pointer_values
list effect_find_equivalent_pointer_values(effect, list, cell_relation *, list *)
find pointer_values in l_in which give (possible or exact) paths equivalent to eff.
Definition: pointer_values_operators.c:658
pv_context_statement_head
statement pv_context_statement_head(pv_context *)
Definition: pointer_values_analyses.c:187
intrinsic_to_identical_post_pv
static void intrinsic_to_identical_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
default_intrinsic_to_post_pv
static void default_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
address_of_to_post_pv
static void address_of_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
unknown_intrinsic_to_post_pv
static void unknown_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
string_function_to_post_pv
static void string_function_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1555
heap_intrinsic_to_post_pv
static void heap_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1740
IntrinsicToPostPVDescriptorTable
static IntrinsicToPostPVDescriptor IntrinsicToPostPVDescriptorTable[]
Definition: pointer_values_intrinsics.c:92
unix_io_function_to_post_pv
static void unix_io_function_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1549
assignment_intrinsic_to_post_pv
static void assignment_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
unary_arithmetic_operator_to_post_pv
static void unary_arithmetic_operator_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
safe_intrinsic_to_post_pv
static void safe_intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
c_io_function_to_post_pv
static void c_io_function_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1495
va_list_function_to_post_pv
static void va_list_function_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1561
conditional_operator_to_post_pv
static void conditional_operator_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
field_to_post_pv
static void field_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
IntrinsicToPostPVDescriptor
struct IntrinsicDescriptor IntrinsicToPostPVDescriptor
the following data structure describes an intrinsic function: its name and the function to apply on a...
update_operator_to_post_pv
static void update_operator_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1295
logical_operator_to_post_pv
static void logical_operator_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
free_to_post_pv
static void free_to_post_pv(list l_free_eff, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1568
binary_arithmetic_operator_to_post_pv
static void binary_arithmetic_operator_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
Definition: pointer_values_intrinsics.c:1110
c_return_to_post_pv
static void c_return_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
point_to_to_post_pv
static void point_to_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
intrinsic_to_post_pv
void intrinsic_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
pointer_values_intrinsics.c
Definition: pointer_values_intrinsics.c:1969
dereferencing_to_post_pv
static void dereferencing_to_post_pv(entity func, list func_args, list l_in, pv_results *pv_res, pv_context *ctxt)
string_of_type
string string_of_type(const type)
Definition: type.c:56
UNBOUNDED_DIMENSION_NAME
#define UNBOUNDED_DIMENSION_NAME
Definition: ri-util-local.h:74
GETS_FUNCTION_NAME
#define GETS_FUNCTION_NAME
Definition: ri-util-local.h:917
ERFCL_OPERATOR_NAME
#define ERFCL_OPERATOR_NAME
Definition: ri-util-local.h:689
ERFC_OPERATOR_NAME
#define ERFC_OPERATOR_NAME
Definition: ri-util-local.h:687
BITWISE_OR_OPERATOR_NAME
#define BITWISE_OR_OPERATOR_NAME
Definition: ri-util-local.h:192
FREAD_FUNCTION_NAME
#define FREAD_FUNCTION_NAME
Definition: ri-util-local.h:951
ALLOCA_FUNCTION_NAME
#define ALLOCA_FUNCTION_NAME
Definition: ri-util-local.h:1018
NINT_CONVERSION_NAME
#define NINT_CONVERSION_NAME
Definition: ri-util-local.h:239
ATAN2_OPERATOR_NAME
#define ATAN2_OPERATOR_NAME
Definition: ri-util-local.h:165
SGCONVERT_OPERATOR_NAME
#define SGCONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1213
FWSCANF_FUNCTION_NAME
#define FWSCANF_FUNCTION_NAME
Definition: ri-util-local.h:1079
LDEXPL_OPERATOR_NAME
#define LDEXPL_OPERATOR_NAME
Definition: ri-util-local.h:645
QECONVERT_OPERATOR_NAME
#define QECONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1217
CREALF_OPERATOR_NAME
#define CREALF_OPERATOR_NAME
Definition: ri-util-local.h:531
FESETEXCEPTFLAG_FUNCTION_NAME
#define FESETEXCEPTFLAG_FUNCTION_NAME
Definition: ri-util-local.h:569
VFPRINTF_FUNCTION_NAME
#define VFPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:930
EXPM1L_OPERATOR_NAME
#define EXPM1L_OPERATOR_NAME
Definition: ri-util-local.h:638
C_TANH_OPERATOR_NAME
#define C_TANH_OPERATOR_NAME
Definition: ri-util-local.h:627
CTANHF_OPERATOR_NAME
#define CTANHF_OPERATOR_NAME
Definition: ri-util-local.h:499
LABS_FUNCTION_NAME
#define LABS_FUNCTION_NAME
Definition: ri-util-local.h:1028
FUNC_TO_DECIMAL_OPERATOR_NAME
#define FUNC_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1209
C_WRITE_FUNCTION_NAME
#define C_WRITE_FUNCTION_NAME
Definition: ri-util-local.h:785
DREAL_GENERIC_CONVERSION_NAME
#define DREAL_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:228
TGAMMAL_OPERATOR_NAME
#define TGAMMAL_OPERATOR_NAME
Definition: ri-util-local.h:696
BUILTIN_VA_END
#define BUILTIN_VA_END
vararg stuff.
Definition: ri-util-local.h:772
SRAND_FUNCTION_NAME
#define SRAND_FUNCTION_NAME
Definition: ri-util-local.h:1013
CASINL_OPERATOR_NAME
#define CASINL_OPERATOR_NAME
Definition: ri-util-local.h:470
MAX_OPERATOR_NAME
#define MAX_OPERATOR_NAME
Definition: ri-util-local.h:199
POWER_OPERATOR_NAME
#define POWER_OPERATOR_NAME
Definition: ri-util-local.h:120
ATOI_FUNCTION_NAME
#define ATOI_FUNCTION_NAME
Definition: ri-util-local.h:1002
LLE_OPERATOR_NAME
#define LLE_OPERATOR_NAME
Definition: ri-util-local.h:215
DECIMAL_TO_SINGLE_OPERATOR_NAME
#define DECIMAL_TO_SINGLE_OPERATOR_NAME
Definition: ri-util-local.h:1204
_TOLOWER_OPERATOR_NAME
#define _TOLOWER_OPERATOR_NAME
Definition: ri-util-local.h:555
ATANL_OPERATOR_NAME
#define ATANL_OPERATOR_NAME
Definition: ri-util-local.h:599
CABS_OPERATOR_NAME
#define CABS_OPERATOR_NAME
Definition: ri-util-local.h:208
REALLOC_FUNCTION_NAME
#define REALLOC_FUNCTION_NAME
Definition: ri-util-local.h:1017
LOGB_OPERATOR_NAME
#define LOGB_OPERATOR_NAME
Definition: ri-util-local.h:658
CPROJ_OPERATOR_NAME
#define CPROJ_OPERATOR_NAME
Definition: ri-util-local.h:526
WCSTOMBS_FUNCTION_NAME
#define WCSTOMBS_FUNCTION_NAME
Definition: ri-util-local.h:1037
FGETC_FUNCTION_NAME
#define FGETC_FUNCTION_NAME
Definition: ri-util-local.h:921
LOG1P_OPERATOR_NAME
#define LOG1P_OPERATOR_NAME
Definition: ri-util-local.h:652
STRLEN_FUNCTION_NAME
#define STRLEN_FUNCTION_NAME
Definition: ri-util-local.h:1067
TOWUPPER_OPERATOR_NAME
#define TOWUPPER_OPERATOR_NAME
Definition: ri-util-local.h:1156
POST_DECREMENT_OPERATOR_NAME
#define POST_DECREMENT_OPERATOR_NAME
Definition: ri-util-local.h:98
DTIME_FUNCTION_NAME
#define DTIME_FUNCTION_NAME
Definition: ri-util-local.h:330
NEXTAFTERF_OPERATOR_NAME
#define NEXTAFTERF_OPERATOR_NAME
Definition: ri-util-local.h:740
STAT_FUNCTION_NAME
#define STAT_FUNCTION_NAME
Definition: ri-util-local.h:1175
MEMSET_FUNCTION_NAME
#define MEMSET_FUNCTION_NAME
Definition: ri-util-local.h:1063
CEXP_OPERATOR_NAME
#define CEXP_OPERATOR_NAME
Definition: ri-util-local.h:139
CPOWL_OPERATOR_NAME
#define CPOWL_OPERATOR_NAME
Definition: ri-util-local.h:512
FDATASYNC_FUNCTION_NAME
#define FDATASYNC_FUNCTION_NAME
Definition: ri-util-local.h:1171
IDNINT_CONVERSION_NAME
#define IDNINT_CONVERSION_NAME
Definition: ri-util-local.h:240
FWRITE_FUNCTION_NAME
#define FWRITE_FUNCTION_NAME
Definition: ri-util-local.h:952
MBTOWC_FUNCTION_NAME
#define MBTOWC_FUNCTION_NAME
Definition: ri-util-local.h:1034
FLOAT_GENERIC_CONVERSION_NAME
#define FLOAT_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:224
ISOC99_VFSCANF_FUNCTION_NAME
#define ISOC99_VFSCANF_FUNCTION_NAME
Definition: ri-util-local.h:932
TOLOWER_OPERATOR_NAME
#define TOLOWER_OPERATOR_NAME
Definition: ri-util-local.h:549
BITWISE_XOR_OPERATOR_NAME
#define BITWISE_XOR_OPERATOR_NAME
Definition: ri-util-local.h:182
STRSPN_FUNCTION_NAME
#define STRSPN_FUNCTION_NAME
Definition: ri-util-local.h:1060
FGETPOS_FUNCTION_NAME
#define FGETPOS_FUNCTION_NAME
Definition: ri-util-local.h:953
C_LESS_OR_EQUAL_OPERATOR_NAME
#define C_LESS_OR_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:266
NANL_OPERATOR_NAME
#define NANL_OPERATOR_NAME
Definition: ri-util-local.h:738
SEED48_FUNCTION_NAME
#define SEED48_FUNCTION_NAME
Definition: ri-util-local.h:392
TANH_OPERATOR_NAME
#define TANH_OPERATOR_NAME
Definition: ri-util-local.h:171
REMAINDERF_OPERATOR_NAME
#define REMAINDERF_OPERATOR_NAME
Definition: ri-util-local.h:731
IMAXDIV_FUNCTION_NAME
#define IMAXDIV_FUNCTION_NAME
Definition: ri-util-local.h:576
FMINF_OPERATOR_NAME
#define FMINF_OPERATOR_NAME
Definition: ri-util-local.h:752
STRCMP_FUNCTION_NAME
#define STRCMP_FUNCTION_NAME
Definition: ri-util-local.h:1051
CACOSH_OPERATOR_NAME
#define CACOSH_OPERATOR_NAME
Definition: ri-util-local.h:483
NEARBYINTF_OPERATOR_NAME
#define NEARBYINTF_OPERATOR_NAME
Definition: ri-util-local.h:704
COS_OPERATOR_NAME
#define COS_OPERATOR_NAME
Definition: ri-util-local.h:153
__FILBUF_FUNCTION_NAME
#define __FILBUF_FUNCTION_NAME
Definition: ri-util-local.h:973
C_EXP_OPERATOR_NAME
#define C_EXP_OPERATOR_NAME
Definition: ri-util-local.h:630
CDABS_OPERATOR_NAME
#define CDABS_OPERATOR_NAME
Definition: ri-util-local.h:209
DSIGN_OPERATOR_NAME
#define DSIGN_OPERATOR_NAME
Definition: ri-util-local.h:126
SCANF_FUNCTION_NAME
#define SCANF_FUNCTION_NAME
Definition: ri-util-local.h:910
COPYSIGNF_OPERATOR_NAME
#define COPYSIGNF_OPERATOR_NAME
Definition: ri-util-local.h:734
ISWALNUM_OPERATOR_NAME
#define ISWALNUM_OPERATOR_NAME
include <wctype.h>
Definition: ri-util-local.h:1141
MRAND48_FUNCTION_NAME
#define MRAND48_FUNCTION_NAME
Definition: ri-util-local.h:390
FSYNC_FUNCTION_NAME
#define FSYNC_FUNCTION_NAME
fcntl is declared with fcntl.h
Definition: ri-util-local.h:1170
FTELLO64_FUNCTION_NAME
#define FTELLO64_FUNCTION_NAME
Definition: ri-util-local.h:994
DOUBLE_MODULO_OPERATOR_NAME
#define DOUBLE_MODULO_OPERATOR_NAME
Definition: ri-util-local.h:123
READ_FUNCTION_NAME
#define READ_FUNCTION_NAME
Definition: ri-util-local.h:297
ISLOWER_OPERATOR_NAME
#define ISLOWER_OPERATOR_NAME
Definition: ri-util-local.h:543
STRNCPY_FUNCTION_NAME
#define STRNCPY_FUNCTION_NAME
Definition: ri-util-local.h:1047
C_ACOSH_OPERATOR_NAME
#define C_ACOSH_OPERATOR_NAME
Definition: ri-util-local.h:612
CTANHL_OPERATOR_NAME
#define CTANHL_OPERATOR_NAME
Definition: ri-util-local.h:500
FDIML_OPERATOR_NAME
#define FDIML_OPERATOR_NAME
Definition: ri-util-local.h:747
WARNX_FUNCTION_NAME
#define WARNX_FUNCTION_NAME
Definition: ri-util-local.h:342
C_AND_OPERATOR_NAME
#define C_AND_OPERATOR_NAME
Definition: ri-util-local.h:183
GREATER_THAN_OPERATOR_NAME
#define GREATER_THAN_OPERATOR_NAME
Definition: ri-util-local.h:263
CTANF_OPERATOR_NAME
#define CTANF_OPERATOR_NAME
Definition: ri-util-local.h:481
ENDFILE_FUNCTION_NAME
#define ENDFILE_FUNCTION_NAME
Definition: ri-util-local.h:300
DIV_FUNCTION_NAME
#define DIV_FUNCTION_NAME
Definition: ri-util-local.h:1030
FREOPEN64_FUNCTION_NAME
#define FREOPEN64_FUNCTION_NAME
Definition: ri-util-local.h:989
TOWLOWER_OPERATOR_NAME
#define TOWLOWER_OPERATOR_NAME
Definition: ri-util-local.h:1155
C_GREATER_OR_EQUAL_OPERATOR_NAME
#define C_GREATER_OR_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:262
SIGN_OPERATOR_NAME
#define SIGN_OPERATOR_NAME
Definition: ri-util-local.h:124
ATANF_OPERATOR_NAME
#define ATANF_OPERATOR_NAME
Definition: ri-util-local.h:598
ISWXDIGIT_OPERATOR_NAME
#define ISWXDIGIT_OPERATOR_NAME
Definition: ri-util-local.h:1152
DMIN1_OPERATOR_NAME
#define DMIN1_OPERATOR_NAME
Definition: ri-util-local.h:198
C_LOG10_OPERATOR_NAME
#define C_LOG10_OPERATOR_NAME
Definition: ri-util-local.h:649
FDIMF_OPERATOR_NAME
#define FDIMF_OPERATOR_NAME
Definition: ri-util-local.h:746
LOGF_OPERATOR_NAME
#define LOGF_OPERATOR_NAME
Definition: ri-util-local.h:647
ATAN2F_OPERATOR_NAME
#define ATAN2F_OPERATOR_NAME
Definition: ri-util-local.h:601
CACOS_OPERATOR_NAME
#define CACOS_OPERATOR_NAME
include <complex.h>
Definition: ri-util-local.h:465
STRSTR_FUNCTION_NAME
#define STRSTR_FUNCTION_NAME
Definition: ri-util-local.h:1061
BUILTIN_VA_COPY
#define BUILTIN_VA_COPY
Definition: ri-util-local.h:774
BITWISE_OR_UPDATE_OPERATOR_NAME
#define BITWISE_OR_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:107
ABS_OPERATOR_NAME
#define ABS_OPERATOR_NAME
Definition: ri-util-local.h:205
DECIMAL_TO_QUADRUPLE_OPERATOR_NAME
#define DECIMAL_TO_QUADRUPLE_OPERATOR_NAME
Definition: ri-util-local.h:1207
TOWCTRANS_OPERATOR_NAME
#define TOWCTRANS_OPERATOR_NAME
Definition: ri-util-local.h:1157
C_REWIND_FUNCTION_NAME
#define C_REWIND_FUNCTION_NAME
Definition: ri-util-local.h:957
LLROUNDF_OPERATOR_NAME
#define LLROUNDF_OPERATOR_NAME
Definition: ri-util-local.h:722
NEXTTOWARDF_OPERATOR_NAME
#define NEXTTOWARDF_OPERATOR_NAME
Definition: ri-util-local.h:743
DBLE_GENERIC_CONVERSION_NAME
#define DBLE_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:227
SYSTEM_FUNCTION_NAME
#define SYSTEM_FUNCTION_NAME
Definition: ri-util-local.h:1024
FEGETROUND_FUNCTION_NAME
#define FEGETROUND_FUNCTION_NAME
Definition: ri-util-local.h:571
SUBSTRING_FUNCTION_NAME
#define SUBSTRING_FUNCTION_NAME
Definition: ri-util-local.h:286
COSHL_OPERATOR_NAME
#define COSHL_OPERATOR_NAME
Definition: ri-util-local.h:623
GETC_FUNCTION_NAME
#define GETC_FUNCTION_NAME
Definition: ri-util-local.h:944
ISOC99_FSCANF_FUNCTION_NAME
#define ISOC99_FSCANF_FUNCTION_NAME
Definition: ri-util-local.h:914
DACOS_OPERATOR_NAME
#define DACOS_OPERATOR_NAME
Definition: ri-util-local.h:162
ISHFT_OPERATOR_NAME
#define ISHFT_OPERATOR_NAME
Bit manipulation functions.
Definition: ri-util-local.h:305
TOASCII_OPERATOR_NAME
#define TOASCII_OPERATOR_NAME
Definition: ri-util-local.h:554
MALLOC_FUNCTION_NAME
#define MALLOC_FUNCTION_NAME
Definition: ri-util-local.h:1016
ASSERT_FUNCTION_NAME
#define ASSERT_FUNCTION_NAME
Here are C intrinsics arranged in the order of the standard ISO/IEC 9899:TC2.
Definition: ri-util-local.h:460
LLROUND_OPERATOR_NAME
#define LLROUND_OPERATOR_NAME
Definition: ri-util-local.h:721
CLEARERR_FUNCTION_NAME
#define CLEARERR_FUNCTION_NAME
Definition: ri-util-local.h:958
TIME_FUNCTION_NAME
#define TIME_FUNCTION_NAME
include<time.h>
Definition: ri-util-local.h:1071
CSINL_OPERATOR_NAME
#define CSINL_OPERATOR_NAME
Definition: ri-util-local.h:479
COSH_OPERATOR_NAME
#define COSH_OPERATOR_NAME
Definition: ri-util-local.h:169
ISUPPER_OPERATOR_NAME
#define ISUPPER_OPERATOR_NAME
Definition: ri-util-local.h:547
ISALNUM_OPERATOR_NAME
#define ISALNUM_OPERATOR_NAME
include <ctype.h>
Definition: ri-util-local.h:537
VERR_FUNCTION_NAME
#define VERR_FUNCTION_NAME
Definition: ri-util-local.h:343
BUFFERIN_FUNCTION_NAME
#define BUFFERIN_FUNCTION_NAME
Definition: ri-util-local.h:298
EOLE_FMA_OPERATOR_NAME
#define EOLE_FMA_OPERATOR_NAME
These operators are used within the optimize transformation in order to manipulate operators such as ...
Definition: ri-util-local.h:1234
IEOR_OPERATOR_NAME
#define IEOR_OPERATOR_NAME
Definition: ri-util-local.h:314
LRAND48_FUNCTION_NAME
#define LRAND48_FUNCTION_NAME
Definition: ri-util-local.h:389
LLRINT_OPERATOR_NAME
#define LLRINT_OPERATOR_NAME
Definition: ri-util-local.h:712
ACOSHL_OPERATOR_NAME
#define ACOSHL_OPERATOR_NAME
Definition: ri-util-local.h:614
ISPUNCT_OPERATOR_NAME
#define ISPUNCT_OPERATOR_NAME
Definition: ri-util-local.h:545
STRERROR_R_FUNCTION_NAME
#define STRERROR_R_FUNCTION_NAME
Definition: ri-util-local.h:1066
NEXTTOWARDL_OPERATOR_NAME
#define NEXTTOWARDL_OPERATOR_NAME
Definition: ri-util-local.h:744
ERR_FUNCTION_NAME
#define ERR_FUNCTION_NAME
F2008.
Definition: ri-util-local.h:339
C_GREATER_THAN_OPERATOR_NAME
#define C_GREATER_THAN_OPERATOR_NAME
Definition: ri-util-local.h:264
CPOW_OPERATOR_NAME
#define CPOW_OPERATOR_NAME
Definition: ri-util-local.h:510
DSQRT_OPERATOR_NAME
#define DSQRT_OPERATOR_NAME
Definition: ri-util-local.h:134
C_CCOS_OPERATOR_NAME
#define C_CCOS_OPERATOR_NAME
Definition: ri-util-local.h:474
SSCANF_FUNCTION_NAME
#define SSCANF_FUNCTION_NAME
Definition: ri-util-local.h:927
SINF_OPERATOR_NAME
#define SINF_OPERATOR_NAME
Definition: ri-util-local.h:607
C_MODULO_OPERATOR_NAME
#define C_MODULO_OPERATOR_NAME
Definition: ri-util-local.h:190
ISDIGIT_OPERATOR_NAME
#define ISDIGIT_OPERATOR_NAME
Definition: ri-util-local.h:541
COPYSIGNL_OPERATOR_NAME
#define COPYSIGNL_OPERATOR_NAME
Definition: ri-util-local.h:735
CACOSHL_OPERATOR_NAME
#define CACOSHL_OPERATOR_NAME
Definition: ri-util-local.h:485
STRCPY_FUNCTION_NAME
#define STRCPY_FUNCTION_NAME
Definition: ri-util-local.h:1045
MINUS_OPERATOR_NAME
#define MINUS_OPERATOR_NAME
Definition: ri-util-local.h:113
IDIM_OPERATOR_NAME
#define IDIM_OPERATOR_NAME
Definition: ri-util-local.h:128
CSINHF_OPERATOR_NAME
#define CSINHF_OPERATOR_NAME
Definition: ri-util-local.h:496
C_COSH_OPERATOR_NAME
#define C_COSH_OPERATOR_NAME
Definition: ri-util-local.h:621
_TOUPPER_OPERATOR_NAME
#define _TOUPPER_OPERATOR_NAME
Definition: ri-util-local.h:556
EXP2L_OPERATOR_NAME
#define EXP2L_OPERATOR_NAME
Definition: ri-util-local.h:635
LGAMMAF_OPERATOR_NAME
#define LGAMMAF_OPERATOR_NAME
Definition: ri-util-local.h:692
ATOF_FUNCTION_NAME
#define ATOF_FUNCTION_NAME
random functions of <stdlib.h>
Definition: ri-util-local.h:1001
ETIME_FUNCTION_NAME
#define ETIME_FUNCTION_NAME
Definition: ri-util-local.h:329
ILOGBF_OPERATOR_NAME
#define ILOGBF_OPERATOR_NAME
Definition: ri-util-local.h:641
AINT_CONVERSION_NAME
#define AINT_CONVERSION_NAME
Definition: ri-util-local.h:235
STRTOUL_FUNCTION_NAME
#define STRTOUL_FUNCTION_NAME
Definition: ri-util-local.h:1010
LESS_THAN_OPERATOR_NAME
#define LESS_THAN_OPERATOR_NAME
Definition: ri-util-local.h:267
DCMPLX_GENERIC_CONVERSION_NAME
#define DCMPLX_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:230
DNINT_CONVERSION_NAME
#define DNINT_CONVERSION_NAME
Definition: ri-util-local.h:238
PUTC_FUNCTION_NAME
#define PUTC_FUNCTION_NAME
Definition: ri-util-local.h:947
ISFINITE_OPERATOR_NAME
#define ISFINITE_OPERATOR_NAME
Definition: ri-util-local.h:584
CCOSH_OPERATOR_NAME
#define CCOSH_OPERATOR_NAME
Definition: ri-util-local.h:492
CLOG_OPERATOR_NAME
#define CLOG_OPERATOR_NAME
Definition: ri-util-local.h:144
VSSCANF_FUNCTION_NAME
#define VSSCANF_FUNCTION_NAME
Definition: ri-util-local.h:938
DINT_CONVERSION_NAME
#define DINT_CONVERSION_NAME
Definition: ri-util-local.h:236
IABS_OPERATOR_NAME
#define IABS_OPERATOR_NAME
Definition: ri-util-local.h:206
FLOORF_OPERATOR_NAME
#define FLOORF_OPERATOR_NAME
Definition: ri-util-local.h:701
ERRX_FUNCTION_NAME
#define ERRX_FUNCTION_NAME
Definition: ri-util-local.h:340
EQUIV_OPERATOR_NAME
#define EQUIV_OPERATOR_NAME
Definition: ri-util-local.h:253
STRTOL_FUNCTION_NAME
#define STRTOL_FUNCTION_NAME
Definition: ri-util-local.h:1008
CLOGF_OPERATOR_NAME
#define CLOGF_OPERATOR_NAME
Definition: ri-util-local.h:505
NRAND48_FUNCTION_NAME
#define NRAND48_FUNCTION_NAME
Definition: ri-util-local.h:391
SCALBLNL_OPERATOR_NAME
#define SCALBLNL_OPERATOR_NAME
Definition: ri-util-local.h:668
CTAN_OPERATOR_NAME
#define CTAN_OPERATOR_NAME
Definition: ri-util-local.h:480
Y0_OPERATOR_NAME
#define Y0_OPERATOR_NAME
Definition: ri-util-local.h:1186
DIVIDE_UPDATE_OPERATOR_NAME
#define DIVIDE_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:102
WSCANF_FUNCTION_NAME
#define WSCANF_FUNCTION_NAME
Definition: ri-util-local.h:1089
RAISE_FUNCTION_NAME
#define RAISE_FUNCTION_NAME
Definition: ri-util-local.h:767
CEILF_OPERATOR_NAME
#define CEILF_OPERATOR_NAME
Definition: ri-util-local.h:698
FSEEK_FUNCTION_NAME
#define FSEEK_FUNCTION_NAME
Definition: ri-util-local.h:954
ISGREATER_OPERATOR_NAME
#define ISGREATER_OPERATOR_NAME
Definition: ri-util-local.h:757
C_SQRT_OPERATOR_NAME
#define C_SQRT_OPERATOR_NAME
Definition: ri-util-local.h:681
USLEEP_FUNCTION_NAME
#define USLEEP_FUNCTION_NAME
Definition: ri-util-local.h:793
STRCHR_FUNCTION_NAME
#define STRCHR_FUNCTION_NAME
Definition: ri-util-local.h:1056
MODF_OPERATOR_NAME
#define MODF_OPERATOR_NAME
Definition: ri-util-local.h:661
GETOPT_FUNCTION_NAME
#define GETOPT_FUNCTION_NAME
Definition: ri-util-local.h:422
CBRT_OPERATOR_NAME
#define CBRT_OPERATOR_NAME
Definition: ri-util-local.h:669
ATOLL_FUNCTION_NAME
#define ATOLL_FUNCTION_NAME
Definition: ri-util-local.h:1004
COMMA_OPERATOR_NAME
#define COMMA_OPERATOR_NAME
Definition: ri-util-local.h:109
MODULO_UPDATE_OPERATOR_NAME
#define MODULO_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:184
POINT_TO_OPERATOR_NAME
#define POINT_TO_OPERATOR_NAME
Definition: ri-util-local.h:92
CSQRTF_OPERATOR_NAME
#define CSQRTF_OPERATOR_NAME
Definition: ri-util-local.h:514
_IO_GETC_FUNCTION_NAME
#define _IO_GETC_FUNCTION_NAME
Definition: ri-util-local.h:945
ISWLOWER_OPERATOR_NAME
#define ISWLOWER_OPERATOR_NAME
Definition: ri-util-local.h:1147
PUTCHAR_FUNCTION_NAME
#define PUTCHAR_FUNCTION_NAME
Definition: ri-util-local.h:949
PLUS_OPERATOR_NAME
#define PLUS_OPERATOR_NAME
Definition: ri-util-local.h:111
LOG10_OPERATOR_NAME
#define LOG10_OPERATOR_NAME
Definition: ri-util-local.h:146
VPRINTF_FUNCTION_NAME
#define VPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:934
LENGTH_OPERATOR_NAME
#define LENGTH_OPERATOR_NAME
Definition: ri-util-local.h:211
CATAN_OPERATOR_NAME
#define CATAN_OPERATOR_NAME
Definition: ri-util-local.h:471
LOG2F_OPERATOR_NAME
#define LOG2F_OPERATOR_NAME
Definition: ri-util-local.h:656
SIGNAL_OPERATOR_NAME
#define SIGNAL_OPERATOR_NAME
signal.h
Definition: ri-util-local.h:766
STRTOK_FUNCTION_NAME
#define STRTOK_FUNCTION_NAME
Definition: ri-util-local.h:1062
DCOSH_OPERATOR_NAME
#define DCOSH_OPERATOR_NAME
Definition: ri-util-local.h:170
DIM_OPERATOR_NAME
#define DIM_OPERATOR_NAME
Definition: ri-util-local.h:127
LOCALTIME_FUNCTION_NAME
#define LOCALTIME_FUNCTION_NAME
Definition: ri-util-local.h:1072
IOCTL_FUNCTION_NAME
#define IOCTL_FUNCTION_NAME
Definition: ri-util-local.h:1172
EXPF_OPERATOR_NAME
#define EXPF_OPERATOR_NAME
Definition: ri-util-local.h:631
LRINTF_OPERATOR_NAME
#define LRINTF_OPERATOR_NAME
Definition: ri-util-local.h:710
LLRINTL_OPERATOR_NAME
#define LLRINTL_OPERATOR_NAME
Definition: ri-util-local.h:714
_EXIT_FUNCTION_NAME
#define _EXIT_FUNCTION_NAME
Definition: ri-util-local.h:1022
SPRINTF_FUNCTION_NAME
#define SPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:943
TANL_OPERATOR_NAME
#define TANL_OPERATOR_NAME
Definition: ri-util-local.h:611
DIMAG_CONVERSION_NAME
#define DIMAG_CONVERSION_NAME
Definition: ri-util-local.h:242
MVBITS_OPERATOR_NAME
#define MVBITS_OPERATOR_NAME
Definition: ri-util-local.h:308
FMAL_OPERATOR_NAME
#define FMAL_OPERATOR_NAME
Definition: ri-util-local.h:756
LDEXP_OPERATOR_NAME
#define LDEXP_OPERATOR_NAME
Definition: ri-util-local.h:643
SIN_OPERATOR_NAME
#define SIN_OPERATOR_NAME
Definition: ri-util-local.h:149
RAND_FUNCTION_NAME
#define RAND_FUNCTION_NAME
Definition: ri-util-local.h:1012
SINGLE_TO_DECIMAL_OPERATOR_NAME
#define SINGLE_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1200
RANDOM_FUNCTION_NAME
#define RANDOM_FUNCTION_NAME
Definition: ri-util-local.h:436
C_COS_OPERATOR_NAME
#define C_COS_OPERATOR_NAME
Definition: ri-util-local.h:603
FMAX_OPERATOR_NAME
#define FMAX_OPERATOR_NAME
Definition: ri-util-local.h:748
TMPFILE64_FUNCTION_NAME
#define TMPFILE64_FUNCTION_NAME
Definition: ri-util-local.h:990
EXPL_OPERATOR_NAME
#define EXPL_OPERATOR_NAME
Definition: ri-util-local.h:632
NEARBYINTL_OPERATOR_NAME
#define NEARBYINTL_OPERATOR_NAME
Definition: ri-util-local.h:705
EQUAL_OPERATOR_NAME
#define EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:269
CEXPF_OPERATOR_NAME
#define CEXPF_OPERATOR_NAME
Definition: ri-util-local.h:502
FTELLO_FUNCTION_NAME
#define FTELLO_FUNCTION_NAME
Definition: ri-util-local.h:987
STRRCHR_FUNCTION_NAME
#define STRRCHR_FUNCTION_NAME
Definition: ri-util-local.h:1059
STRNCAT_FUNCTION_NAME
#define STRNCAT_FUNCTION_NAME
Definition: ri-util-local.h:1049
QGCONVERT_OPERATOR_NAME
#define QGCONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1219
FETESTEXCEPT_FUNCTION_NAME
#define FETESTEXCEPT_FUNCTION_NAME
Definition: ri-util-local.h:570
FMODL_OPERATOR_NAME
#define FMODL_OPERATOR_NAME
Definition: ri-util-local.h:729
REMAINDER_OPERATOR_NAME
#define REMAINDER_OPERATOR_NAME
Definition: ri-util-local.h:1191
WARN_FUNCTION_NAME
#define WARN_FUNCTION_NAME
Definition: ri-util-local.h:341
MEMCMP_FUNCTION_NAME
#define MEMCMP_FUNCTION_NAME
Definition: ri-util-local.h:1050
FMIN_OPERATOR_NAME
#define FMIN_OPERATOR_NAME
Definition: ri-util-local.h:751
C_CSQRT_OPERATOR_NAME
#define C_CSQRT_OPERATOR_NAME
Definition: ri-util-local.h:513
ISWUPPER_OPERATOR_NAME
#define ISWUPPER_OPERATOR_NAME
Definition: ri-util-local.h:1151
LROUNDL_OPERATOR_NAME
#define LROUNDL_OPERATOR_NAME
Definition: ri-util-local.h:720
ATANHL_OPERATOR_NAME
#define ATANHL_OPERATOR_NAME
Definition: ri-util-local.h:620
FDOPEN_FUNCTION_NAME
#define FDOPEN_FUNCTION_NAME
Definition: ri-util-local.h:977
EXPM1_OPERATOR_NAME
#define EXPM1_OPERATOR_NAME
Definition: ri-util-local.h:636
CREALL_OPERATOR_NAME
#define CREALL_OPERATOR_NAME
Definition: ri-util-local.h:532
CPROJL_OPERATOR_NAME
#define CPROJL_OPERATOR_NAME
Definition: ri-util-local.h:528
CLOGL_OPERATOR_NAME
#define CLOGL_OPERATOR_NAME
Definition: ri-util-local.h:506
IBITS_OPERATOR_NAME
#define IBITS_OPERATOR_NAME
Definition: ri-util-local.h:307
DLOG10_OPERATOR_NAME
#define DLOG10_OPERATOR_NAME
Definition: ri-util-local.h:148
DCONJG_OPERATOR_NAME
#define DCONJG_OPERATOR_NAME
Definition: ri-util-local.h:132
FREOPEN_FUNCTION_NAME
#define FREOPEN_FUNCTION_NAME
Definition: ri-util-local.h:970
CCOSHF_OPERATOR_NAME
#define CCOSHF_OPERATOR_NAME
Definition: ri-util-local.h:493
QSORT_FUNCTION_NAME
#define QSORT_FUNCTION_NAME
Definition: ri-util-local.h:1026
CALLOC_FUNCTION_NAME
#define CALLOC_FUNCTION_NAME
Definition: ri-util-local.h:1014
ILOGBL_OPERATOR_NAME
#define ILOGBL_OPERATOR_NAME
Definition: ri-util-local.h:642
CSINHL_OPERATOR_NAME
#define CSINHL_OPERATOR_NAME
Definition: ri-util-local.h:497
MAX0_OPERATOR_NAME
#define MAX0_OPERATOR_NAME
Definition: ri-util-local.h:200
J1_OPERATOR_NAME
#define J1_OPERATOR_NAME
Definition: ri-util-local.h:1184
AMIN0_OPERATOR_NAME
#define AMIN0_OPERATOR_NAME
Definition: ri-util-local.h:196
SETLOCALE_FUNCTION_NAME
#define SETLOCALE_FUNCTION_NAME
include <locale.h>
Definition: ri-util-local.h:579
PSELECT_FUNCTION_NAME
#define PSELECT_FUNCTION_NAME
Definition: ri-util-local.h:1174
ECONVERT_OPERATOR_NAME
#define ECONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1214
CLOCK_FUNCTION_NAME
#define CLOCK_FUNCTION_NAME
time.h
Definition: ri-util-local.h:1221
POWF_OPERATOR_NAME
#define POWF_OPERATOR_NAME
Definition: ri-util-local.h:679
SCALBLN_OPERATOR_NAME
#define SCALBLN_OPERATOR_NAME
Definition: ri-util-local.h:666
FOPEN_FUNCTION_NAME
#define FOPEN_FUNCTION_NAME
Definition: ri-util-local.h:922
RETURN_FUNCTION_NAME
#define RETURN_FUNCTION_NAME
Definition: ri-util-local.h:275
C_ASINH_OPERATOR_NAME
#define C_ASINH_OPERATOR_NAME
Definition: ri-util-local.h:615
BACKSPACE_FUNCTION_NAME
#define BACKSPACE_FUNCTION_NAME
Definition: ri-util-local.h:296
ISOC99_VSSCANF_FUNCTION_NAME
#define ISOC99_VSSCANF_FUNCTION_NAME
Definition: ri-util-local.h:939
CARGL_OPERATOR_NAME
#define CARGL_OPERATOR_NAME
Definition: ri-util-local.h:518
DEREFERENCING_OPERATOR_NAME
#define DEREFERENCING_OPERATOR_NAME
Definition: ri-util-local.h:93
CEILL_OPERATOR_NAME
#define CEILL_OPERATOR_NAME
Definition: ri-util-local.h:699
CASE_FUNCTION_NAME
#define CASE_FUNCTION_NAME
Definition: ri-util-local.h:282
MIN0_OPERATOR_NAME
#define MIN0_OPERATOR_NAME
Definition: ri-util-local.h:194
LRINT_OPERATOR_NAME
#define LRINT_OPERATOR_NAME
Definition: ri-util-local.h:709
CSINF_OPERATOR_NAME
#define CSINF_OPERATOR_NAME
Definition: ri-util-local.h:478
JRAND48_FUNCTION_NAME
#define JRAND48_FUNCTION_NAME
Definition: ri-util-local.h:387
GETCHAR_FUNCTION_NAME
#define GETCHAR_FUNCTION_NAME
Definition: ri-util-local.h:946
C_CABS_OPERATOR_NAME
#define C_CABS_OPERATOR_NAME
Definition: ri-util-local.h:507
__ERRNO_LOCATION_OPERATOR_NAME
#define __ERRNO_LOCATION_OPERATOR_NAME
bits/errno.h
Definition: ri-util-local.h:563
UNLINK_FUNCTION_NAME
#define UNLINK_FUNCTION_NAME
Definition: ri-util-local.h:858
ASINL_OPERATOR_NAME
#define ASINL_OPERATOR_NAME
Definition: ri-util-local.h:596
CREAT_FUNCTION_NAME
#define CREAT_FUNCTION_NAME
Definition: ri-util-local.h:1164
HYPOTL_OPERATOR_NAME
#define HYPOTL_OPERATOR_NAME
Definition: ri-util-local.h:677
LOG2L_OPERATOR_NAME
#define LOG2L_OPERATOR_NAME
Definition: ri-util-local.h:657
STRCSPN_FUNCTION_NAME
#define STRCSPN_FUNCTION_NAME
Definition: ri-util-local.h:1057
MAX1_OPERATOR_NAME
#define MAX1_OPERATOR_NAME
Definition: ri-util-local.h:202
FIELD_OPERATOR_NAME
#define FIELD_OPERATOR_NAME
Definition: ri-util-local.h:91
SFCONVERT_OPERATOR_NAME
#define SFCONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1212
ROUNDF_OPERATOR_NAME
#define ROUNDF_OPERATOR_NAME
Definition: ri-util-local.h:716
HYPOT_OPERATOR_NAME
#define HYPOT_OPERATOR_NAME
Definition: ri-util-local.h:675
CARGF_OPERATOR_NAME
#define CARGF_OPERATOR_NAME
Definition: ri-util-local.h:517
NON_EQUIV_OPERATOR_NAME
#define NON_EQUIV_OPERATOR_NAME
Definition: ri-util-local.h:254
CEIL_OPERATOR_NAME
#define CEIL_OPERATOR_NAME
Definition: ri-util-local.h:697
C_CLOG_OPERATOR_NAME
#define C_CLOG_OPERATOR_NAME
Definition: ri-util-local.h:504
LGAMMAL_OPERATOR_NAME
#define LGAMMAL_OPERATOR_NAME
Definition: ri-util-local.h:693
ISOC99_SSCANF_FUNCTION_NAME
#define ISOC99_SSCANF_FUNCTION_NAME
Definition: ri-util-local.h:928
WCTRANS_OPERATOR_NAME
#define WCTRANS_OPERATOR_NAME
Definition: ri-util-local.h:1158
MATHERR_OPERATOR_NAME
#define MATHERR_OPERATOR_NAME
Definition: ri-util-local.h:1194
CASINH_OPERATOR_NAME
#define CASINH_OPERATOR_NAME
Definition: ri-util-local.h:486
FABSL_OPERATOR_NAME
#define FABSL_OPERATOR_NAME
Definition: ri-util-local.h:674
C_NON_EQUAL_OPERATOR_NAME
#define C_NON_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:189
ISWPRINT_OPERATOR_NAME
#define ISWPRINT_OPERATOR_NAME
Definition: ri-util-local.h:1148
MODFF_OPERATOR_NAME
#define MODFF_OPERATOR_NAME
Definition: ri-util-local.h:1198
LEFT_SHIFT_UPDATE_OPERATOR_NAME
#define LEFT_SHIFT_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:105
LDEXPF_OPERATOR_NAME
#define LDEXPF_OPERATOR_NAME
Definition: ri-util-local.h:644
SCALB_OPERATOR_NAME
#define SCALB_OPERATOR_NAME
Definition: ri-util-local.h:665
ATOQ_FUNCTION_NAME
#define ATOQ_FUNCTION_NAME
Definition: ri-util-local.h:435
IMS_OPERATOR_NAME
#define IMS_OPERATOR_NAME
Definition: ri-util-local.h:1242
FMINL_OPERATOR_NAME
#define FMINL_OPERATOR_NAME
Definition: ri-util-local.h:753
MEMCPY_FUNCTION_NAME
#define MEMCPY_FUNCTION_NAME
include <string.h>
Definition: ri-util-local.h:1043
DECIMAL_TO_DOUBLE_OPERATOR_NAME
#define DECIMAL_TO_DOUBLE_OPERATOR_NAME
Definition: ri-util-local.h:1205
REAL_MODULO_OPERATOR_NAME
#define REAL_MODULO_OPERATOR_NAME
Definition: ri-util-local.h:122
SETVBUF_FUNCTION_NAME
#define SETVBUF_FUNCTION_NAME
Definition: ri-util-local.h:972
ISBLANK_OPERATOR_NAME
#define ISBLANK_OPERATOR_NAME
Definition: ri-util-local.h:539
STRXFRM_FUNCTION_NAME
#define STRXFRM_FUNCTION_NAME
Definition: ri-util-local.h:1054
LLABS_FUNCTION_NAME
#define LLABS_FUNCTION_NAME
Definition: ri-util-local.h:1029
CCOSHL_OPERATOR_NAME
#define CCOSHL_OPERATOR_NAME
Definition: ri-util-local.h:494
ILOGB_OPERATOR_NAME
#define ILOGB_OPERATOR_NAME
Definition: ri-util-local.h:640
GETW_FUNCTION_NAME
#define GETW_FUNCTION_NAME
Definition: ri-util-local.h:983
LOG10L_OPERATOR_NAME
#define LOG10L_OPERATOR_NAME
Definition: ri-util-local.h:651
NEARBYINT_OPERATOR_NAME
#define NEARBYINT_OPERATOR_NAME
Definition: ri-util-local.h:703
CONJG_OPERATOR_NAME
#define CONJG_OPERATOR_NAME
Definition: ri-util-local.h:131
ASINHL_OPERATOR_NAME
#define ASINHL_OPERATOR_NAME
Definition: ri-util-local.h:617
ISOC99_SCANF_FUNCTION_NAME
#define ISOC99_SCANF_FUNCTION_NAME
Definition: ri-util-local.h:911
C_TAN_OPERATOR_NAME
#define C_TAN_OPERATOR_NAME
Definition: ri-util-local.h:609
GCVT_FUNCTION_NAME
#define GCVT_FUNCTION_NAME
Definition: ri-util-local.h:403
LOGBL_OPERATOR_NAME
#define LOGBL_OPERATOR_NAME
Definition: ri-util-local.h:660
C_SIN_OPERATOR_NAME
#define C_SIN_OPERATOR_NAME
Definition: ri-util-local.h:606
AMAX0_OPERATOR_NAME
#define AMAX0_OPERATOR_NAME
Definition: ri-util-local.h:201
VFSCANF_FUNCTION_NAME
#define VFSCANF_FUNCTION_NAME
Definition: ri-util-local.h:931
CCOSL_OPERATOR_NAME
#define CCOSL_OPERATOR_NAME
Definition: ri-util-local.h:476
FFLUSH_FUNCTION_NAME
#define FFLUSH_FUNCTION_NAME
Definition: ri-util-local.h:969
STRDUP_FUNCTION_NAME
#define STRDUP_FUNCTION_NAME
Definition: ri-util-local.h:1046
ROUNDL_OPERATOR_NAME
#define ROUNDL_OPERATOR_NAME
Definition: ri-util-local.h:717
ISWBLANK_OPERATOR_NAME
#define ISWBLANK_OPERATOR_NAME
Definition: ri-util-local.h:1143
FMAXF_OPERATOR_NAME
#define FMAXF_OPERATOR_NAME
Definition: ri-util-local.h:749
REWIND_FUNCTION_NAME
#define REWIND_FUNCTION_NAME
Definition: ri-util-local.h:292
LROUND_OPERATOR_NAME
#define LROUND_OPERATOR_NAME
Definition: ri-util-local.h:718
LLROUNDL_OPERATOR_NAME
#define LLROUNDL_OPERATOR_NAME
Definition: ri-util-local.h:723
DMAX1_OPERATOR_NAME
#define DMAX1_OPERATOR_NAME
Definition: ri-util-local.h:204
RENAME_FUNCTION_NAME
#define RENAME_FUNCTION_NAME
Definition: ri-util-local.h:966
IBSET_OPERATOR_NAME
#define IBSET_OPERATOR_NAME
Definition: ri-util-local.h:310
BUILTIN_VA_START
#define BUILTIN_VA_START
Definition: ri-util-local.h:773
IFIX_GENERIC_CONVERSION_NAME
#define IFIX_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:221
FREE_FUNCTION_NAME
#define FREE_FUNCTION_NAME
Definition: ri-util-local.h:1015
ACOS_OPERATOR_NAME
#define ACOS_OPERATOR_NAME
Definition: ri-util-local.h:161
EXPM1F_OPERATOR_NAME
#define EXPM1F_OPERATOR_NAME
Definition: ri-util-local.h:637
FPRINTF_FUNCTION_NAME
#define FPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:909
MULTIPLY_UPDATE_OPERATOR_NAME
#define MULTIPLY_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:101
GETSUBOPT_FUNCTION_NAME
#define GETSUBOPT_FUNCTION_NAME
Definition: ri-util-local.h:404
Y1_OPERATOR_NAME
#define Y1_OPERATOR_NAME
Definition: ri-util-local.h:1187
ACOSL_OPERATOR_NAME
#define ACOSL_OPERATOR_NAME
Definition: ri-util-local.h:593
C_READ_FUNCTION_NAME
#define C_READ_FUNCTION_NAME
Definition: ri-util-local.h:784
GETTIMEOFDAY_FUNCTION_NAME
#define GETTIMEOFDAY_FUNCTION_NAME
Definition: ri-util-local.h:1224
C_ACOS_OPERATOR_NAME
#define C_ACOS_OPERATOR_NAME
Definition: ri-util-local.h:591
OPEN_FUNCTION_NAME
#define OPEN_FUNCTION_NAME
Definition: ri-util-local.h:293
END_FUNCTION_NAME
#define END_FUNCTION_NAME
Definition: ri-util-local.h:278
CCOSF_OPERATOR_NAME
#define CCOSF_OPERATOR_NAME
Definition: ri-util-local.h:475
ISWPUNCT_OPERATOR_NAME
#define ISWPUNCT_OPERATOR_NAME
Definition: ri-util-local.h:1149
BSEARCH_FUNCTION_NAME
#define BSEARCH_FUNCTION_NAME
Definition: ri-util-local.h:1025
ISHFTC_OPERATOR_NAME
#define ISHFTC_OPERATOR_NAME
Definition: ri-util-local.h:306
TMPFILE_FUNCTION_NAME
#define TMPFILE_FUNCTION_NAME
Definition: ri-util-local.h:967
C_ABS_FUNCTION_NAME
#define C_ABS_FUNCTION_NAME
Definition: ri-util-local.h:1027
ISNAN_OPERATOR_NAME
#define ISNAN_OPERATOR_NAME
Definition: ri-util-local.h:586
FCVT_FUNCTION_NAME
#define FCVT_FUNCTION_NAME
Definition: ri-util-local.h:402
IMPLIED_DO_NAME
#define IMPLIED_DO_NAME
Definition: ri-util-local.h:75
ABORT_FUNCTION_NAME
#define ABORT_FUNCTION_NAME
Definition: ri-util-local.h:1019
CREAL_OPERATOR_NAME
#define CREAL_OPERATOR_NAME
Definition: ri-util-local.h:529
INVERSE_OPERATOR_NAME
#define INVERSE_OPERATOR_NAME
Definition: ri-util-local.h:119
ERFF_OPERATOR_NAME
#define ERFF_OPERATOR_NAME
Definition: ri-util-local.h:685
LEFT_SHIFT_OPERATOR_NAME
#define LEFT_SHIFT_OPERATOR_NAME
Definition: ri-util-local.h:173
ISXDIGIT_OPERATOR_NAME
#define ISXDIGIT_OPERATOR_NAME
Definition: ri-util-local.h:548
CONDITIONAL_OPERATOR_NAME
#define CONDITIONAL_OPERATOR_NAME
Definition: ri-util-local.h:187
BREAK_FUNCTION_NAME
#define BREAK_FUNCTION_NAME
Definition: ri-util-local.h:281
CPOWF_OPERATOR_NAME
#define CPOWF_OPERATOR_NAME
Definition: ri-util-local.h:511
SCALBLNF_OPERATOR_NAME
#define SCALBLNF_OPERATOR_NAME
Definition: ri-util-local.h:667
ALOG10_OPERATOR_NAME
#define ALOG10_OPERATOR_NAME
Definition: ri-util-local.h:147
FMODF_OPERATOR_NAME
#define FMODF_OPERATOR_NAME
Definition: ri-util-local.h:728
EXTENDED_TO_DECIMAL_OPERATOR_NAME
#define EXTENDED_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1202
LLT_OPERATOR_NAME
#define LLT_OPERATOR_NAME
Definition: ri-util-local.h:216
VSPRINTF_FUNCTION_NAME
#define VSPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:942
SETBUFFER_FUNCTION_NAME
#define SETBUFFER_FUNCTION_NAME
Definition: ri-util-local.h:975
C_ASIN_OPERATOR_NAME
#define C_ASIN_OPERATOR_NAME
Definition: ri-util-local.h:594
CLOCK_GETTIME_FUNCTION_NAME
#define CLOCK_GETTIME_FUNCTION_NAME
Definition: ri-util-local.h:1223
C_RETURN_FUNCTION_NAME
#define C_RETURN_FUNCTION_NAME
Definition: ri-util-local.h:284
FSEEKO_FUNCTION_NAME
#define FSEEKO_FUNCTION_NAME
Definition: ri-util-local.h:986
YN_OPERATOR_NAME
#define YN_OPERATOR_NAME
Definition: ri-util-local.h:1188
BUFFEROUT_FUNCTION_NAME
#define BUFFEROUT_FUNCTION_NAME
Definition: ri-util-local.h:299
CCOS_OPERATOR_NAME
#define CCOS_OPERATOR_NAME
Definition: ri-util-local.h:155
ROUND_OPERATOR_NAME
#define ROUND_OPERATOR_NAME
Definition: ri-util-local.h:715
C_LOC_FUNCTION_NAME
#define C_LOC_FUNCTION_NAME
F2003.
Definition: ri-util-local.h:334
ISGRAPH_OPERATOR_NAME
#define ISGRAPH_OPERATOR_NAME
Definition: ri-util-local.h:542
LCONG48_FUNCTION_NAME
#define LCONG48_FUNCTION_NAME
Definition: ri-util-local.h:388
DPROD_OPERATOR_NAME
#define DPROD_OPERATOR_NAME
Definition: ri-util-local.h:130
GETENV_FUNCTION_NAME
#define GETENV_FUNCTION_NAME
Definition: ri-util-local.h:1023
CUSERID_FUNCTION_NAME
#define CUSERID_FUNCTION_NAME
Definition: ri-util-local.h:981
SCALBNF_OPERATOR_NAME
#define SCALBNF_OPERATOR_NAME
Definition: ri-util-local.h:663
LLRINTF_OPERATOR_NAME
#define LLRINTF_OPERATOR_NAME
Definition: ri-util-local.h:713
SINHL_OPERATOR_NAME
#define SINHL_OPERATOR_NAME
Definition: ri-util-local.h:626
AND_OPERATOR_NAME
#define AND_OPERATOR_NAME
FI: intrinsics are defined at a third place after bootstrap and effects! I guess the name should be d...
Definition: ri-util-local.h:248
ISNORMAL_OPERATOR_NAME
#define ISNORMAL_OPERATOR_NAME
Definition: ri-util-local.h:589
MINUS_UPDATE_OPERATOR_NAME
#define MINUS_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:104
ANINT_CONVERSION_NAME
#define ANINT_CONVERSION_NAME
Definition: ri-util-local.h:237
REMOVE_FUNCTION_NAME
#define REMOVE_FUNCTION_NAME
Definition: ri-util-local.h:965
CPROJF_OPERATOR_NAME
#define CPROJF_OPERATOR_NAME
Definition: ri-util-local.h:527
TRUNCL_OPERATOR_NAME
#define TRUNCL_OPERATOR_NAME
Definition: ri-util-local.h:726
SIGNBIT_OPERATOR_NAME
#define SIGNBIT_OPERATOR_NAME
Definition: ri-util-local.h:590
C_NOT_OPERATOR_NAME
#define C_NOT_OPERATOR_NAME
Definition: ri-util-local.h:188
CATANHL_OPERATOR_NAME
#define CATANHL_OPERATOR_NAME
Definition: ri-util-local.h:491
CABSL_OPERATOR_NAME
#define CABSL_OPERATOR_NAME
Definition: ri-util-local.h:509
INT_TO_CHAR_CONVERSION_NAME
#define INT_TO_CHAR_CONVERSION_NAME
Definition: ri-util-local.h:232
ISWALPHA_OPERATOR_NAME
#define ISWALPHA_OPERATOR_NAME
Definition: ri-util-local.h:1142
FOPEN64_FUNCTION_NAME
#define FOPEN64_FUNCTION_NAME
Definition: ri-util-local.h:988
ASSERT_FAIL_FUNCTION_NAME
#define ASSERT_FAIL_FUNCTION_NAME
Definition: ri-util-local.h:461
GCONVERT_OPERATOR_NAME
#define GCONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1216
POW_OPERATOR_NAME
#define POW_OPERATOR_NAME
Definition: ri-util-local.h:678
LGAMMA_OPERATOR_NAME
#define LGAMMA_OPERATOR_NAME
Definition: ri-util-local.h:691
CONTINUE_FUNCTION_NAME
#define CONTINUE_FUNCTION_NAME
Definition: ri-util-local.h:272
ACOSF_OPERATOR_NAME
#define ACOSF_OPERATOR_NAME
Definition: ri-util-local.h:592
FMAF_OPERATOR_NAME
#define FMAF_OPERATOR_NAME
Definition: ri-util-local.h:755
ALLOCATE_FUNCTION_NAME
#define ALLOCATE_FUNCTION_NAME
F95.
Definition: ri-util-local.h:327
ISLESS_OPERATOR_NAME
#define ISLESS_OPERATOR_NAME
Definition: ri-util-local.h:759
FSTAT_FUNCTION_NAME
#define FSTAT_FUNCTION_NAME
Definition: ri-util-local.h:1176
__FILSBUF_FUNCTION_NAME
#define __FILSBUF_FUNCTION_NAME
Definition: ri-util-local.h:974
STRTOD_FUNCTION_NAME
#define STRTOD_FUNCTION_NAME
Definition: ri-util-local.h:1005
RINT_OPERATOR_NAME
#define RINT_OPERATOR_NAME
Definition: ri-util-local.h:706
LINK_FUNCTION_NAME
#define LINK_FUNCTION_NAME
Definition: ri-util-local.h:852
ISOC99_VSCANF_FUNCTION_NAME
#define ISOC99_VSCANF_FUNCTION_NAME
Definition: ri-util-local.h:936
POSIX_MEMALIGN_FUNCTION_NAME
#define POSIX_MEMALIGN_FUNCTION_NAME
Definition: ri-util-local.h:434
SNPRINTF_FUNCTION_NAME
#define SNPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:926
COPYSIGN_OPERATOR_NAME
#define COPYSIGN_OPERATOR_NAME
Definition: ri-util-local.h:733
CSINH_OPERATOR_NAME
#define CSINH_OPERATOR_NAME
Definition: ri-util-local.h:495
NEXTAFTERL_OPERATOR_NAME
#define NEXTAFTERL_OPERATOR_NAME
Definition: ri-util-local.h:741
COSHF_OPERATOR_NAME
#define COSHF_OPERATOR_NAME
Definition: ri-util-local.h:622
COSL_OPERATOR_NAME
#define COSL_OPERATOR_NAME
Definition: ri-util-local.h:605
ADDRESS_OF_OPERATOR_NAME
#define ADDRESS_OF_OPERATOR_NAME
Definition: ri-util-local.h:179
CMPLX_GENERIC_CONVERSION_NAME
#define CMPLX_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:229
FABSF_OPERATOR_NAME
#define FABSF_OPERATOR_NAME
Definition: ri-util-local.h:673
DOUBLE_TO_DECIMAL_OPERATOR_NAME
#define DOUBLE_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1201
ATOL_FUNCTION_NAME
#define ATOL_FUNCTION_NAME
Definition: ri-util-local.h:1003
C_ATAN2_OPERATOR_NAME
#define C_ATAN2_OPERATOR_NAME
Definition: ri-util-local.h:600
PRE_DECREMENT_OPERATOR_NAME
#define PRE_DECREMENT_OPERATOR_NAME
Definition: ri-util-local.h:100
CHAR_TO_INT_CONVERSION_NAME
#define CHAR_TO_INT_CONVERSION_NAME
Definition: ri-util-local.h:233
FCNTL_FUNCTION_NAME
#define FCNTL_FUNCTION_NAME
include <fcntl.h>
Definition: ri-util-local.h:1163
SQRT_OPERATOR_NAME
#define SQRT_OPERATOR_NAME
Definition: ri-util-local.h:133
ATAN_OPERATOR_NAME
#define ATAN_OPERATOR_NAME
Definition: ri-util-local.h:163
ATANHF_OPERATOR_NAME
#define ATANHF_OPERATOR_NAME
Definition: ri-util-local.h:619
ERFL_OPERATOR_NAME
#define ERFL_OPERATOR_NAME
Definition: ri-util-local.h:686
ISIGN_OPERATOR_NAME
#define ISIGN_OPERATOR_NAME
Definition: ri-util-local.h:125
C_CEXP_OPERATOR_NAME
#define C_CEXP_OPERATOR_NAME
Definition: ri-util-local.h:501
STRTOULL_FUNCTION_NAME
#define STRTOULL_FUNCTION_NAME
Definition: ri-util-local.h:1011
TGAMMA_OPERATOR_NAME
#define TGAMMA_OPERATOR_NAME
Definition: ri-util-local.h:694
UNGETC_FUNCTION_NAME
#define UNGETC_FUNCTION_NAME
Definition: ri-util-local.h:950
STRPBRK_FUNCTION_NAME
#define STRPBRK_FUNCTION_NAME
Definition: ri-util-local.h:1058
SRAND48_FUNCTION_NAME
#define SRAND48_FUNCTION_NAME
Definition: ri-util-local.h:393
QUADRUPLE_TO_DECIMAL_OPERATOR_NAME
#define QUADRUPLE_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1203
INT_GENERIC_CONVERSION_NAME
#define INT_GENERIC_CONVERSION_NAME
generic conversion names.
Definition: ri-util-local.h:220
C_ATAN_OPERATOR_NAME
#define C_ATAN_OPERATOR_NAME
Definition: ri-util-local.h:597
EXP2F_OPERATOR_NAME
#define EXP2F_OPERATOR_NAME
Definition: ri-util-local.h:634
SELECT_FUNCTION_NAME
#define SELECT_FUNCTION_NAME
Definition: ri-util-local.h:1173
C_CLOSE_FUNCTION_NAME
#define C_CLOSE_FUNCTION_NAME
Definition: ri-util-local.h:783
GAMMA_OPERATOR_NAME
#define GAMMA_OPERATOR_NAME
Definition: ri-util-local.h:690
LGE_OPERATOR_NAME
#define LGE_OPERATOR_NAME
Definition: ri-util-local.h:213
IMPLIED_DCOMPLEX_NAME
#define IMPLIED_DCOMPLEX_NAME
Definition: ri-util-local.h:89
SWSCANF_FUNCTION_NAME
#define SWSCANF_FUNCTION_NAME
Definition: ri-util-local.h:1081
NANOSLEEP_FUNCTION_NAME
#define NANOSLEEP_FUNCTION_NAME
Definition: ri-util-local.h:1074
DIVIDE_OPERATOR_NAME
#define DIVIDE_OPERATOR_NAME
Definition: ri-util-local.h:118
MEMCHR_FUNCTION_NAME
#define MEMCHR_FUNCTION_NAME
Definition: ri-util-local.h:1055
DRAND48_FUNCTION_NAME
#define DRAND48_FUNCTION_NAME
Definition: ri-util-local.h:385
BIT_SIZE_OPERATOR_NAME
#define BIT_SIZE_OPERATOR_NAME
Definition: ri-util-local.h:312
TGAMMAF_OPERATOR_NAME
#define TGAMMAF_OPERATOR_NAME
Definition: ri-util-local.h:695
WRITE_FUNCTION_NAME
#define WRITE_FUNCTION_NAME
Definition: ri-util-local.h:290
SETLINEBUF_FUNCTION_NAME
#define SETLINEBUF_FUNCTION_NAME
Definition: ri-util-local.h:976
NAN_OPERATOR_NAME
#define NAN_OPERATOR_NAME
Definition: ri-util-local.h:736
DABS_OPERATOR_NAME
#define DABS_OPERATOR_NAME
Definition: ri-util-local.h:207
REMAINDERL_OPERATOR_NAME
#define REMAINDERL_OPERATOR_NAME
Definition: ri-util-local.h:732
SINL_OPERATOR_NAME
#define SINL_OPERATOR_NAME
Definition: ri-util-local.h:608
FECLEAREXCEPT_FUNCTION_NAME
#define FECLEAREXCEPT_FUNCTION_NAME
include <fenv.h>
Definition: ri-util-local.h:567
DIFFTIME_FUNCTION_NAME
#define DIFFTIME_FUNCTION_NAME
Definition: ri-util-local.h:1073
CBRTL_OPERATOR_NAME
#define CBRTL_OPERATOR_NAME
Definition: ri-util-local.h:671
JN_OPERATOR_NAME
#define JN_OPERATOR_NAME
Definition: ri-util-local.h:1185
CLOSE_FUNCTION_NAME
#define CLOSE_FUNCTION_NAME
Definition: ri-util-local.h:294
FABS_OPERATOR_NAME
#define FABS_OPERATOR_NAME
Definition: ri-util-local.h:672
STRCOLL_FUNCTION_NAME
#define STRCOLL_FUNCTION_NAME
Definition: ri-util-local.h:1052
UNARY_MINUS_OPERATOR_NAME
#define UNARY_MINUS_OPERATOR_NAME
Definition: ri-util-local.h:115
AMIN1_OPERATOR_NAME
#define AMIN1_OPERATOR_NAME
Definition: ri-util-local.h:197
LROUNDF_OPERATOR_NAME
#define LROUNDF_OPERATOR_NAME
Definition: ri-util-local.h:719
_IO_PUTC_FUNCTION_NAME
#define _IO_PUTC_FUNCTION_NAME
Definition: ri-util-local.h:948
DCOS_OPERATOR_NAME
#define DCOS_OPERATOR_NAME
Definition: ri-util-local.h:154
RINTF_OPERATOR_NAME
#define RINTF_OPERATOR_NAME
Definition: ri-util-local.h:707
BITWISE_XOR_UPDATE_OPERATOR_NAME
#define BITWISE_XOR_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:186
FERAISEEXCEPT_FUNCTION_NAME
#define FERAISEEXCEPT_FUNCTION_NAME
Definition: ri-util-local.h:568
CASINHL_OPERATOR_NAME
#define CASINHL_OPERATOR_NAME
Definition: ri-util-local.h:488
C_OPEN_FUNCTION_NAME
#define C_OPEN_FUNCTION_NAME
Not found in unistd.h.
Definition: ri-util-local.h:904
LRINTL_OPERATOR_NAME
#define LRINTL_OPERATOR_NAME
Definition: ri-util-local.h:711
ISNANL_OPERATOR_NAME
#define ISNANL_OPERATOR_NAME
Definition: ri-util-local.h:587
QFCONVERT_OPERATOR_NAME
#define QFCONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1218
STRCAT_FUNCTION_NAME
#define STRCAT_FUNCTION_NAME
Definition: ri-util-local.h:1048
ISGREATEREQUAL_OPERATOR_NAME
#define ISGREATEREQUAL_OPERATOR_NAME
Definition: ri-util-local.h:758
CATANHF_OPERATOR_NAME
#define CATANHF_OPERATOR_NAME
Definition: ri-util-local.h:490
TEMPNAM_FUNCTION_NAME
#define TEMPNAM_FUNCTION_NAME
Definition: ri-util-local.h:982
CARG_OPERATOR_NAME
#define CARG_OPERATOR_NAME
Definition: ri-util-local.h:516
LLTOSTR_FUNCTION_NAME
#define LLTOSTR_FUNCTION_NAME
Definition: ri-util-local.h:431
CONCATENATION_FUNCTION_NAME
#define CONCATENATION_FUNCTION_NAME
Definition: ri-util-local.h:287
EXP_OPERATOR_NAME
#define EXP_OPERATOR_NAME
Definition: ri-util-local.h:137
ERAND48_FUNCTION_NAME
#define ERAND48_FUNCTION_NAME
Definition: ri-util-local.h:386
FMA_OPERATOR_NAME
#define FMA_OPERATOR_NAME
Definition: ri-util-local.h:754
EOLE_PROD_OPERATOR_NAME
#define EOLE_PROD_OPERATOR_NAME
Definition: ri-util-local.h:1236
VSCANF_FUNCTION_NAME
#define VSCANF_FUNCTION_NAME
Definition: ri-util-local.h:935
HYPOTF_OPERATOR_NAME
#define HYPOTF_OPERATOR_NAME
Definition: ri-util-local.h:676
IBCLR_OPERATOR_NAME
#define IBCLR_OPERATOR_NAME
Definition: ri-util-local.h:311
CTANH_OPERATOR_NAME
#define CTANH_OPERATOR_NAME
Definition: ri-util-local.h:498
PCLOSE_FUNCTION_NAME
#define PCLOSE_FUNCTION_NAME
Definition: ri-util-local.h:985
SRANDOM_FUNCTION_NAME
#define SRANDOM_FUNCTION_NAME
Definition: ri-util-local.h:437
LDIV_FUNCTION_NAME
#define LDIV_FUNCTION_NAME
Definition: ri-util-local.h:1031
FSEEKO64_FUNCTION_NAME
#define FSEEKO64_FUNCTION_NAME
Definition: ri-util-local.h:993
ATAN2L_OPERATOR_NAME
#define ATAN2L_OPERATOR_NAME
Definition: ri-util-local.h:602
C_LOG_OPERATOR_NAME
#define C_LOG_OPERATOR_NAME
Definition: ri-util-local.h:646
LOGBF_OPERATOR_NAME
#define LOGBF_OPERATOR_NAME
Definition: ri-util-local.h:659
IMA_OPERATOR_NAME
#define IMA_OPERATOR_NAME
Integer Multiply Add and Sub, FC 27/10/2005 for FI.
Definition: ri-util-local.h:1241
ERF_OPERATOR_NAME
#define ERF_OPERATOR_NAME
Definition: ri-util-local.h:684
UNARY_PLUS_OPERATOR_NAME
#define UNARY_PLUS_OPERATOR_NAME
Definition: ri-util-local.h:116
ASINHF_OPERATOR_NAME
#define ASINHF_OPERATOR_NAME
Definition: ri-util-local.h:616
BRACE_INTRINSIC
#define BRACE_INTRINSIC
Definition: ri-util-local.h:85
NANF_OPERATOR_NAME
#define NANF_OPERATOR_NAME
Definition: ri-util-local.h:737
LOG_OPERATOR_NAME
#define LOG_OPERATOR_NAME
Definition: ri-util-local.h:141
FDIM_OPERATOR_NAME
#define FDIM_OPERATOR_NAME
Definition: ri-util-local.h:745
RIGHT_SHIFT_UPDATE_OPERATOR_NAME
#define RIGHT_SHIFT_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:106
POPEN_FUNCTION_NAME
#define POPEN_FUNCTION_NAME
Definition: ri-util-local.h:980
ATEXIT_FUNCTION_NAME
#define ATEXIT_FUNCTION_NAME
Definition: ri-util-local.h:1020
LOGL_OPERATOR_NAME
#define LOGL_OPERATOR_NAME
Definition: ri-util-local.h:648
SECOND_FUNCTION_NAME
#define SECOND_FUNCTION_NAME
Definition: ri-util-local.h:1222
DSIN_OPERATOR_NAME
#define DSIN_OPERATOR_NAME
Definition: ri-util-local.h:150
NEXTAFTER_OPERATOR_NAME
#define NEXTAFTER_OPERATOR_NAME
Definition: ri-util-local.h:1190
RINTL_OPERATOR_NAME
#define RINTL_OPERATOR_NAME
Definition: ri-util-local.h:708
FGETS_FUNCTION_NAME
#define FGETS_FUNCTION_NAME
Definition: ri-util-local.h:919
ISSPACE_OPERATOR_NAME
#define ISSPACE_OPERATOR_NAME
Definition: ri-util-local.h:546
FEOF_FUNCTION_NAME
#define FEOF_FUNCTION_NAME
Definition: ri-util-local.h:959
ISLESSGREATER_OPERATOR_NAME
#define ISLESSGREATER_OPERATOR_NAME
Definition: ri-util-local.h:761
FESETROUND_FUNCTION_NAME
#define FESETROUND_FUNCTION_NAME
Definition: ri-util-local.h:572
VERRX_FUNCTION_NAME
#define VERRX_FUNCTION_NAME
Definition: ri-util-local.h:344
C_ATANH_OPERATOR_NAME
#define C_ATANH_OPERATOR_NAME
Definition: ri-util-local.h:618
CSQRT_OPERATOR_NAME
#define CSQRT_OPERATOR_NAME
Definition: ri-util-local.h:135
ISASCII_OPERATOR_NAME
#define ISASCII_OPERATOR_NAME
Definition: ri-util-local.h:553
IOR_OPERATOR_NAME
#define IOR_OPERATOR_NAME
Definition: ri-util-local.h:315
C_SINH_OPERATOR_NAME
#define C_SINH_OPERATOR_NAME
Definition: ri-util-local.h:624
CSQRTL_OPERATOR_NAME
#define CSQRTL_OPERATOR_NAME
Definition: ri-util-local.h:515
ASINF_OPERATOR_NAME
#define ASINF_OPERATOR_NAME
Definition: ri-util-local.h:595
C_LESS_THAN_OPERATOR_NAME
#define C_LESS_THAN_OPERATOR_NAME
Definition: ri-util-local.h:268
ACOSHF_OPERATOR_NAME
#define ACOSHF_OPERATOR_NAME
Definition: ri-util-local.h:613
BITWISE_NOT_OPERATOR_NAME
#define BITWISE_NOT_OPERATOR_NAME
Definition: ri-util-local.h:181
__H_ERRNO_LOCATION_OPERATOR_NAME
#define __H_ERRNO_LOCATION_OPERATOR_NAME
netdb.h
Definition: ri-util-local.h:1227
CATANL_OPERATOR_NAME
#define CATANL_OPERATOR_NAME
Definition: ri-util-local.h:473
CACOSHF_OPERATOR_NAME
#define CACOSHF_OPERATOR_NAME
Definition: ri-util-local.h:484
FLOORL_OPERATOR_NAME
#define FLOORL_OPERATOR_NAME
Definition: ri-util-local.h:702
GREATER_OR_EQUAL_OPERATOR_NAME
#define GREATER_OR_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:261
TAN_OPERATOR_NAME
#define TAN_OPERATOR_NAME
Definition: ri-util-local.h:157
FILE_TO_DECIMAL_OPERATOR_NAME
#define FILE_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1210
PUTW_FUNCTION_NAME
#define PUTW_FUNCTION_NAME
Definition: ri-util-local.h:984
VWARNX_FUNCTION_NAME
#define VWARNX_FUNCTION_NAME
Definition: ri-util-local.h:346
ERFCF_OPERATOR_NAME
#define ERFCF_OPERATOR_NAME
Definition: ri-util-local.h:688
FILENO_FUNCTION_NAME
#define FILENO_FUNCTION_NAME
Definition: ri-util-local.h:979
STOP_FUNCTION_NAME
#define STOP_FUNCTION_NAME
Definition: ri-util-local.h:276
DECIMAL_TO_EXTENDED_OPERATOR_NAME
#define DECIMAL_TO_EXTENDED_OPERATOR_NAME
Definition: ri-util-local.h:1206
PRE_INCREMENT_OPERATOR_NAME
#define PRE_INCREMENT_OPERATOR_NAME
Definition: ri-util-local.h:99
VWARN_FUNCTION_NAME
#define VWARN_FUNCTION_NAME
Definition: ri-util-local.h:345
STRING_TO_DECIMAL_OPERATOR_NAME
#define STRING_TO_DECIMAL_OPERATOR_NAME
Definition: ri-util-local.h:1208
FTELL_FUNCTION_NAME
#define FTELL_FUNCTION_NAME
Definition: ri-util-local.h:956
CACOSL_OPERATOR_NAME
#define CACOSL_OPERATOR_NAME
Definition: ri-util-local.h:467
CIMAG_OPERATOR_NAME
#define CIMAG_OPERATOR_NAME
Definition: ri-util-local.h:519
EOLE_SUM_OPERATOR_NAME
#define EOLE_SUM_OPERATOR_NAME
Definition: ri-util-local.h:1237
FPUTC_FUNCTION_NAME
#define FPUTC_FUNCTION_NAME
Definition: ri-util-local.h:920
CEXPL_OPERATOR_NAME
#define CEXPL_OPERATOR_NAME
Definition: ri-util-local.h:503
SETBUF_FUNCTION_NAME
#define SETBUF_FUNCTION_NAME
Definition: ri-util-local.h:971
C_CSIN_OPERATOR_NAME
#define C_CSIN_OPERATOR_NAME
Definition: ri-util-local.h:477
POST_INCREMENT_OPERATOR_NAME
#define POST_INCREMENT_OPERATOR_NAME
Definition: ri-util-local.h:97
TMPNAM_FUNCTION_NAME
#define TMPNAM_FUNCTION_NAME
Definition: ri-util-local.h:968
DSINH_OPERATOR_NAME
#define DSINH_OPERATOR_NAME
Definition: ri-util-local.h:168
SIGFPE_OPERATOR_NAME
#define SIGFPE_OPERATOR_NAME
Definition: ri-util-local.h:1199
IAND_OPERATOR_NAME
#define IAND_OPERATOR_NAME
Definition: ri-util-local.h:313
ISWCNTRL_OPERATOR_NAME
#define ISWCNTRL_OPERATOR_NAME
Definition: ri-util-local.h:1144
AIMAG_CONVERSION_NAME
#define AIMAG_CONVERSION_NAME
Definition: ri-util-local.h:241
EXIT_FUNCTION_NAME
#define EXIT_FUNCTION_NAME
Definition: ri-util-local.h:1021
PLUS_UPDATE_OPERATOR_NAME
#define PLUS_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:103
CONJ_OPERATOR_NAME
#define CONJ_OPERATOR_NAME
Definition: ri-util-local.h:523
SIGNIFICAND_OPERATOR_NAME
#define SIGNIFICAND_OPERATOR_NAME
Definition: ri-util-local.h:1195
J0_OPERATOR_NAME
#define J0_OPERATOR_NAME
Definition: ri-util-local.h:1183
LSTAT_FUNCTION_NAME
#define LSTAT_FUNCTION_NAME
Definition: ri-util-local.h:1177
INDEX_OPERATOR_NAME
#define INDEX_OPERATOR_NAME
Definition: ri-util-local.h:212
ISLESSEQUAL_OPERATOR_NAME
#define ISLESSEQUAL_OPERATOR_NAME
Definition: ri-util-local.h:760
ISWGRAPH_OPERATOR_NAME
#define ISWGRAPH_OPERATOR_NAME
Definition: ri-util-local.h:1146
ISNANF_OPERATOR_NAME
#define ISNANF_OPERATOR_NAME
Definition: ri-util-local.h:588
BTEST_OPERATOR_NAME
#define BTEST_OPERATOR_NAME
Definition: ri-util-local.h:309
WCTYPE_OPERATOR_NAME
#define WCTYPE_OPERATOR_NAME
Definition: ri-util-local.h:1154
TRUNCF_OPERATOR_NAME
#define TRUNCF_OPERATOR_NAME
Definition: ri-util-local.h:725
MBLEN_FUNCTION_NAME
#define MBLEN_FUNCTION_NAME
Definition: ri-util-local.h:1033
ISWDIGIT_OPERATOR_NAME
#define ISWDIGIT_OPERATOR_NAME
Definition: ri-util-local.h:1145
PAUSE_FUNCTION_NAME
#define PAUSE_FUNCTION_NAME
Definition: ri-util-local.h:277
STRTOF_FUNCTION_NAME
#define STRTOF_FUNCTION_NAME
Definition: ri-util-local.h:1006
FLOOR_OPERATOR_NAME
#define FLOOR_OPERATOR_NAME
Definition: ri-util-local.h:700
SINHF_OPERATOR_NAME
#define SINHF_OPERATOR_NAME
Definition: ri-util-local.h:625
STRTOLL_FUNCTION_NAME
#define STRTOLL_FUNCTION_NAME
Definition: ri-util-local.h:1009
COSF_OPERATOR_NAME
#define COSF_OPERATOR_NAME
Definition: ri-util-local.h:604
LOG10F_OPERATOR_NAME
#define LOG10F_OPERATOR_NAME
Definition: ri-util-local.h:650
VSNPRINTF_FUNCTION_NAME
#define VSNPRINTF_FUNCTION_NAME
Definition: ri-util-local.h:941
FORMAT_FUNCTION_NAME
#define FORMAT_FUNCTION_NAME
Definition: ri-util-local.h:301
LLDIV_FUNCTION_NAME
#define LLDIV_FUNCTION_NAME
Definition: ri-util-local.h:1032
DATAN2_OPERATOR_NAME
#define DATAN2_OPERATOR_NAME
Definition: ri-util-local.h:166
DDIM_OPERATOR_NAME
#define DDIM_OPERATOR_NAME
Definition: ri-util-local.h:129
TANHF_OPERATOR_NAME
#define TANHF_OPERATOR_NAME
Definition: ri-util-local.h:628
FGETPOS64_FUNCTION_NAME
#define FGETPOS64_FUNCTION_NAME
Definition: ri-util-local.h:991
SINH_OPERATOR_NAME
#define SINH_OPERATOR_NAME
Definition: ri-util-local.h:167
FPCLASSIFY_OPERATOR_NAME
#define FPCLASSIFY_OPERATOR_NAME
include <math.h>
Definition: ri-util-local.h:583
PERROR_FUNCTION_NAME
#define PERROR_FUNCTION_NAME
Definition: ri-util-local.h:962
REAL_GENERIC_CONVERSION_NAME
#define REAL_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:223
DEFAULT_FUNCTION_NAME
#define DEFAULT_FUNCTION_NAME
Definition: ri-util-local.h:283
WCTOMB_FUNCTION_NAME
#define WCTOMB_FUNCTION_NAME
Definition: ri-util-local.h:1035
CACOSF_OPERATOR_NAME
#define CACOSF_OPERATOR_NAME
Definition: ri-util-local.h:466
TRUNC_OPERATOR_NAME
#define TRUNC_OPERATOR_NAME
Definition: ri-util-local.h:724
CTERMID_FUNCTION_NAME
#define CTERMID_FUNCTION_NAME
Definition: ri-util-local.h:978
SQRTF_OPERATOR_NAME
#define SQRTF_OPERATOR_NAME
Definition: ri-util-local.h:682
ISINF_OPERATOR_NAME
#define ISINF_OPERATOR_NAME
Definition: ri-util-local.h:585
STRNCMP_FUNCTION_NAME
#define STRNCMP_FUNCTION_NAME
Definition: ri-util-local.h:1053
ISUNORDERED_OPERATOR_NAME
#define ISUNORDERED_OPERATOR_NAME
Definition: ri-util-local.h:762
TOUPPER_OPERATOR_NAME
#define TOUPPER_OPERATOR_NAME
Definition: ri-util-local.h:550
MINUS_C_OPERATOR_NAME
#define MINUS_C_OPERATOR_NAME
Definition: ri-util-local.h:114
MULTIPLY_OPERATOR_NAME
#define MULTIPLY_OPERATOR_NAME
Definition: ri-util-local.h:117
DEXP_OPERATOR_NAME
#define DEXP_OPERATOR_NAME
Definition: ri-util-local.h:138
BITWISE_AND_UPDATE_OPERATOR_NAME
#define BITWISE_AND_UPDATE_OPERATOR_NAME
Definition: ri-util-local.h:185
DLOG_OPERATOR_NAME
#define DLOG_OPERATOR_NAME
Definition: ri-util-local.h:143
LESS_OR_EQUAL_OPERATOR_NAME
#define LESS_OR_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:265
CBRTF_OPERATOR_NAME
#define CBRTF_OPERATOR_NAME
Definition: ri-util-local.h:670
C_OR_OPERATOR_NAME
#define C_OR_OPERATOR_NAME
Definition: ri-util-local.h:250
STRERROR_FUNCTION_NAME
#define STRERROR_FUNCTION_NAME
Definition: ri-util-local.h:1065
CONJL_OPERATOR_NAME
#define CONJL_OPERATOR_NAME
Definition: ri-util-local.h:525
BITWISE_AND_OPERATOR_NAME
#define BITWISE_AND_OPERATOR_NAME
Definition: ri-util-local.h:180
CSIN_OPERATOR_NAME
#define CSIN_OPERATOR_NAME
Definition: ri-util-local.h:151
SNGL_GENERIC_CONVERSION_NAME
#define SNGL_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:226
FMOD_OPERATOR_NAME
#define FMOD_OPERATOR_NAME
Definition: ri-util-local.h:727
IMAXABS_FUNCTION_NAME
#define IMAXABS_FUNCTION_NAME
include <inttypes.h>
Definition: ri-util-local.h:575
SCALBNL_OPERATOR_NAME
#define SCALBNL_OPERATOR_NAME
Definition: ri-util-local.h:664
DTANH_OPERATOR_NAME
#define DTANH_OPERATOR_NAME
Definition: ri-util-local.h:172
EXP2_OPERATOR_NAME
#define EXP2_OPERATOR_NAME
Definition: ri-util-local.h:633
DFLOAT_GENERIC_CONVERSION_NAME
#define DFLOAT_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:225
SQRTL_OPERATOR_NAME
#define SQRTL_OPERATOR_NAME
Definition: ri-util-local.h:683
FERROR_FUNCTION_NAME
#define FERROR_FUNCTION_NAME
Definition: ri-util-local.h:960
TANHL_OPERATOR_NAME
#define TANHL_OPERATOR_NAME
Definition: ri-util-local.h:629
SYMLINK_FUNCTION_NAME
#define SYMLINK_FUNCTION_NAME
Definition: ri-util-local.h:854
ULLTOSTR_FUNCTION_NAME
#define ULLTOSTR_FUNCTION_NAME
Definition: ri-util-local.h:432
RIGHT_SHIFT_OPERATOR_NAME
#define RIGHT_SHIFT_OPERATOR_NAME
Definition: ri-util-local.h:174
CATANF_OPERATOR_NAME
#define CATANF_OPERATOR_NAME
Definition: ri-util-local.h:472
CATANH_OPERATOR_NAME
#define CATANH_OPERATOR_NAME
Definition: ri-util-local.h:489
ISCNTRL_OPERATOR_NAME
#define ISCNTRL_OPERATOR_NAME
Definition: ri-util-local.h:540
ASIN_OPERATOR_NAME
#define ASIN_OPERATOR_NAME
Definition: ri-util-local.h:159
AMAX1_OPERATOR_NAME
#define AMAX1_OPERATOR_NAME
Definition: ri-util-local.h:203
CTANL_OPERATOR_NAME
#define CTANL_OPERATOR_NAME
Definition: ri-util-local.h:482
CABSF_OPERATOR_NAME
#define CABSF_OPERATOR_NAME
Definition: ri-util-local.h:508
CASINHF_OPERATOR_NAME
#define CASINHF_OPERATOR_NAME
Definition: ri-util-local.h:487
CONJF_OPERATOR_NAME
#define CONJF_OPERATOR_NAME
Definition: ri-util-local.h:524
DEALLOCATE_FUNCTION_NAME
#define DEALLOCATE_FUNCTION_NAME
Definition: ri-util-local.h:328
SECONVERT_OPERATOR_NAME
#define SECONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1211
DASIN_OPERATOR_NAME
#define DASIN_OPERATOR_NAME
Definition: ri-util-local.h:160
TANF_OPERATOR_NAME
#define TANF_OPERATOR_NAME
Definition: ri-util-local.h:610
INQUIRE_FUNCTION_NAME
#define INQUIRE_FUNCTION_NAME
Definition: ri-util-local.h:295
NEXTTOWARD_OPERATOR_NAME
#define NEXTTOWARD_OPERATOR_NAME
Definition: ri-util-local.h:742
PUTS_FUNCTION_NAME
#define PUTS_FUNCTION_NAME
Definition: ri-util-local.h:916
IDINT_GENERIC_CONVERSION_NAME
#define IDINT_GENERIC_CONVERSION_NAME
Definition: ri-util-local.h:222
MEMMOVE_FUNCTION_NAME
#define MEMMOVE_FUNCTION_NAME
Definition: ri-util-local.h:1044
NOT_OPERATOR_NAME
#define NOT_OPERATOR_NAME
Definition: ri-util-local.h:251
POWL_OPERATOR_NAME
#define POWL_OPERATOR_NAME
Definition: ri-util-local.h:680
IMPLIED_COMPLEX_NAME
#define IMPLIED_COMPLEX_NAME
Definition: ri-util-local.h:88
FSCANF_FUNCTION_NAME
#define FSCANF_FUNCTION_NAME
Definition: ri-util-local.h:913
FCONVERT_OPERATOR_NAME
#define FCONVERT_OPERATOR_NAME
Definition: ri-util-local.h:1215
LGT_OPERATOR_NAME
#define LGT_OPERATOR_NAME
Definition: ri-util-local.h:214
MIN1_OPERATOR_NAME
#define MIN1_OPERATOR_NAME
Definition: ri-util-local.h:195
ISWCTYPE_OPERATOR_NAME
#define ISWCTYPE_OPERATOR_NAME
Definition: ri-util-local.h:1153
CASIN_OPERATOR_NAME
#define CASIN_OPERATOR_NAME
Definition: ri-util-local.h:468
LOG1PF_OPERATOR_NAME
#define LOG1PF_OPERATOR_NAME
Definition: ri-util-local.h:653
ASSIGN_SUBSTRING_FUNCTION_NAME
#define ASSIGN_SUBSTRING_FUNCTION_NAME
Definition: ri-util-local.h:288
OR_OPERATOR_NAME
#define OR_OPERATOR_NAME
Definition: ri-util-local.h:249
LOG1PL_OPERATOR_NAME
#define LOG1PL_OPERATOR_NAME
Definition: ri-util-local.h:654
FSETPOS64_FUNCTION_NAME
#define FSETPOS64_FUNCTION_NAME
Definition: ri-util-local.h:992
CIMAGL_OPERATOR_NAME
#define CIMAGL_OPERATOR_NAME
Definition: ri-util-local.h:522
NON_EQUAL_OPERATOR_NAME
#define NON_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:252
DATAN_OPERATOR_NAME
#define DATAN_OPERATOR_NAME
Definition: ri-util-local.h:164
DTAN_OPERATOR_NAME
#define DTAN_OPERATOR_NAME
Definition: ri-util-local.h:158
C_EQUAL_OPERATOR_NAME
#define C_EQUAL_OPERATOR_NAME
Definition: ri-util-local.h:270
ISWSPACE_OPERATOR_NAME
#define ISWSPACE_OPERATOR_NAME
Definition: ri-util-local.h:1150
PRINTF_FUNCTION_NAME
#define PRINTF_FUNCTION_NAME
include<stdio.h>
Definition: ri-util-local.h:908
ECVT_FUNCTION_NAME
#define ECVT_FUNCTION_NAME
Definition: ri-util-local.h:401
CIMAGF_OPERATOR_NAME
#define CIMAGF_OPERATOR_NAME
Definition: ri-util-local.h:521
ASSIGN_OPERATOR_NAME
#define ASSIGN_OPERATOR_NAME
Definition: ri-util-local.h:95
ISPRINT_OPERATOR_NAME
#define ISPRINT_OPERATOR_NAME
Definition: ri-util-local.h:544
MODULO_OPERATOR_NAME
#define MODULO_OPERATOR_NAME
Definition: ri-util-local.h:121
SCALBN_OPERATOR_NAME
#define SCALBN_OPERATOR_NAME
Definition: ri-util-local.h:662
FPUTS_FUNCTION_NAME
#define FPUTS_FUNCTION_NAME
Definition: ri-util-local.h:918
PLUS_C_OPERATOR_NAME
#define PLUS_C_OPERATOR_NAME
Definition: ri-util-local.h:112
FCLOSE_FUNCTION_NAME
#define FCLOSE_FUNCTION_NAME
Definition: ri-util-local.h:925
ALOG_OPERATOR_NAME
#define ALOG_OPERATOR_NAME
Definition: ri-util-local.h:142
FMAXL_OPERATOR_NAME
#define FMAXL_OPERATOR_NAME
Definition: ri-util-local.h:750
FREXP_OPERATOR_NAME
#define FREXP_OPERATOR_NAME
Definition: ri-util-local.h:639
FSETPOS_FUNCTION_NAME
#define FSETPOS_FUNCTION_NAME
Definition: ri-util-local.h:955
MIN_OPERATOR_NAME
#define MIN_OPERATOR_NAME
Definition: ri-util-local.h:193
CTYPE_B_LOC_OPERATOR_NAME
#define CTYPE_B_LOC_OPERATOR_NAME
Part of the binary standard.
Definition: ri-util-local.h:559
ISALPHA_OPERATOR_NAME
#define ISALPHA_OPERATOR_NAME
Definition: ri-util-local.h:538
LOG2_OPERATOR_NAME
#define LOG2_OPERATOR_NAME
Definition: ri-util-local.h:655
MBSTOWCS_FUNCTION_NAME
#define MBSTOWCS_FUNCTION_NAME
Definition: ri-util-local.h:1036
CASINF_OPERATOR_NAME
#define CASINF_OPERATOR_NAME
Definition: ri-util-local.h:469
entity_local_name
const char * entity_local_name(entity e)
entity_local_name modified so that it does not core when used in vect_fprint, since someone thought t...
Definition: entity.c:453
same_entity_p
bool same_entity_p(entity e1, entity e2)
predicates on entities
Definition: entity.c:1321
entity_intrinsic
entity entity_intrinsic(const char *name)
FI: I do not understand this function name (see next one!).
Definition: entity.c:1292
make_unbounded_expression
expression make_unbounded_expression()
Definition: expression.c:4339
MakeBinaryCall
expression MakeBinaryCall(entity f, expression eg, expression ed)
Creates a call expression to a function with 2 arguments.
Definition: expression.c:354
int_to_expression
expression int_to_expression(_int i)
transform an int into an expression and generate the corresponding entity if necessary; it is not cle...
Definition: expression.c:1188
make_op_exp
expression make_op_exp(char *op_name, expression exp1, expression exp2)
================================================================
Definition: expression.c:2012
MakeUnaryCall
expression MakeUnaryCall(entity f, expression a)
Creates a call expression to a function with one argument.
Definition: expression.c:342
array_type_p
bool array_type_p(type)
Definition: type.c:2942
expression_to_type
type expression_to_type(expression)
For an array declared as int a[10][20], the type returned for a[i] is int [20].
Definition: type.c:2486
entity_scalar_p
bool entity_scalar_p(entity)
The concrete type of e is a scalar type.
Definition: variable.c:1113
pointer_type_p
bool pointer_type_p(type)
Check for scalar pointers.
Definition: type.c:2993
type_to_string
string type_to_string(const type)
type.c
Definition: type.c:51
syntax_reference_p
#define syntax_reference_p(x)
Definition: ri.h:2728
syntax_reference
#define syntax_reference(x)
Definition: ri.h:2730
reference_variable
#define reference_variable(x)
Definition: ri.h:2326
type_variable
#define type_variable(x)
Definition: ri.h:2949
EXPRESSION
#define EXPRESSION(x)
EXPRESSION.
Definition: ri.h:1217
expression_undefined
#define expression_undefined
Definition: ri.h:1223
entity_name
#define entity_name(x)
Definition: ri.h:2790
reference_indices
#define reference_indices(x)
Definition: ri.h:2328
expression_undefined_p
#define expression_undefined_p(x)
Definition: ri.h:1224
variable_dimensions
#define variable_dimensions(x)
Definition: ri.h:3122
expression_syntax
#define expression_syntax(x)
Definition: ri.h:1247
entity_domain
#define entity_domain
newgen_syntax_domain_defined
Definition: ri.h:410
ifdebug
#define ifdebug(n)
Definition: sg.c:47
IntrinsicDescriptor
The following data structure describes an intrinsic function: its name and its arity and its type,...
Definition: bootstrap-local.h:52
_newgen_struct_cell_
Definition: effects.h:455
_newgen_struct_cell_interpretation_
Definition: effects.h:404
_newgen_struct_cell_relation_
Definition: effects.h:501
_newgen_struct_effect_
Definition: effects.h:630
_newgen_struct_entity_
Definition: ri.h:2778
_newgen_struct_expression_
Definition: ri.h:1239
_newgen_struct_reference_
Definition: ri.h:2318
_newgen_struct_syntax_
Definition: ri.h:2711
_newgen_struct_type_
Definition: ri.h:2922
cons
The structure used to build lists in NewGen.
Definition: newgen_list.h:41
pv_context
pv_context is a structure holding the methods to use during pointer values analyses
Definition: pointer_values-local.h:28
pv_context::pvs_may_union_func
list(* pvs_may_union_func)(list, list)
Definition: pointer_values-local.h:68
pv_results
pv_results is a structure holding the different results of an expression pointer values analysis
Definition: pointer_values-local.h:76
pv_results::result_paths_interpretations
list result_paths_interpretations
resulting pointer path of the expression evaluation
Definition: pointer_values-local.h:79
pv_results::l_out
list l_out
Definition: pointer_values-local.h:77
pv_results::result_paths
list result_paths
resulting pointer_values
Definition: pointer_values-local.h:78
sensitivity_information
Definition: effects-util-local.h:199