25 #include "helpers.hpp"
32 const int32_t B0::d0sc = -20;
35 const int32_t B1::d0sc = -30;
39 const int32_t A::d0sc = -10;
69 const C0 * C0::cc = NULL;
72 const C1 * C1::cc = NULL;
196 static const char * ABC =
"ABC";
197 static char abc[4] = {
'a',
'b',
'c',
'\0' };
201 TRACE(
"const void * s010()");
207 TRACE(
"const char * s012()");
213 TRACE(
"void * s030()");
219 TRACE(
"char * s032()");
223 const void *
const s050()
225 TRACE(
"const void * const s050()");
229 const char *
const s052()
231 TRACE(
"const char * const s052()");
237 TRACE(
"void * const s070()");
243 TRACE(
"char * const s072()");
247 void s110(
const void * p0)
249 TRACE(
"void s110(const void *)");
250 CHECK((strcmp((
const char*)p0, abc) != 0 && strcmp((
const char*)p0, ABC) != 0),
251 "void s110(const void *)");
254 void s112(
const char * p0)
256 TRACE(
"void s112(const char *)");
257 CHECK((strcmp(p0, abc) != 0 && strcmp(p0, ABC) != 0),
258 "void s112(const char *)");
263 TRACE(
"void s130(void *)");
264 CHECK((strcmp((
const char*)p0, abc) != 0 && strcmp((
const char*)p0, ABC) != 0),
265 "void s130(void *)");
270 TRACE(
"void s132(char *)");
271 CHECK((strcmp(p0, abc) != 0 && strcmp(p0, ABC) != 0),
272 "void s132(char *)");
275 void s150(
const void *
const p0)
277 TRACE(
"void s150(const void * const)");
278 CHECK((strcmp((
const char*)p0, abc) != 0 && strcmp((
const char*)p0, ABC) != 0),
279 "void s150(const void * const)");
282 void s152(
const char *
const p0)
284 TRACE(
"void s152(const char * const)");
285 CHECK((strcmp(p0, abc) != 0 && strcmp(p0, ABC) != 0),
286 "void s152(const char * const)");
289 void s170(
void *
const p0)
291 TRACE(
"void s170(void * const)");
292 CHECK((strcmp((
const char*)p0, abc) != 0 && strcmp((
const char*)p0, ABC) != 0),
293 "void s170(void * const)");
296 void s172(
char *
const p0)
298 TRACE(
"void s172(char * const)");
299 CHECK((strcmp(p0, abc) != 0 && strcmp(p0, ABC) != 0),
300 "void s172(char * const)");
307 TRACE(
"const void * s210()");
313 TRACE(
"const char * s212()");
319 TRACE(
"void * s230()");
325 TRACE(
"char * s232()");
329 const void *
const s250()
331 TRACE(
"const void * const s250()");
335 const char *
const s252()
337 TRACE(
"const char * const s252()");
343 TRACE(
"void * const s270()");
349 TRACE(
"char * const s272()");
353 void s310(
const void * p0)
355 TRACE(
"void s310(const void *)");
359 void s312(
const char * p0)
361 TRACE(
"void s312(const char *)");
367 TRACE(
"void s330(void *)");
373 TRACE(
"void s332(char *)");
377 void s350(
const void *
const p0)
379 TRACE(
"void s350(const void * const)");
383 void s352(
const char *
const p0)
385 TRACE(
"void s352(const char * const)");
389 void s370(
void *
const p0)
391 TRACE(
"void s370(void * const)");
395 void s372(
char *
const p0)
397 TRACE(
"void s372(char * const)");
403 const bool f11(
const bool p0)
405 TRACE(
"const bool f11(const bool)");
409 const char f12(
const char p0)
411 TRACE(
"const char f12(const char)");
415 const signed char f13(
const signed char p0)
417 TRACE(
"const signed char f13(const signed char)");
421 const unsigned char f14(
const unsigned char p0)
423 TRACE(
"const unsigned char f14(const unsigned char)");
427 const signed short f15(
const signed short p0)
429 TRACE(
"const signed short f15(const signed short)");
433 const unsigned short f16(
const unsigned short p0)
435 TRACE(
"const unsigned short f16(const unsigned short)");
439 const signed int f17(
const signed int p0)
441 TRACE(
"const signed int f17(const signed int)");
445 const unsigned int f18(
const unsigned int p0)
447 TRACE(
"const unsigned int f18(const unsigned int)");
451 const signed long f19(
const signed long p0)
453 TRACE(
"const signed long f19(const signed long)");
457 const unsigned long f20(
const unsigned long p0)
459 TRACE(
"const unsigned long f20(const unsigned long)");
463 const signed long long f21(
const signed long long p0)
465 TRACE(
"const signed long long f21(const signed long long)");
469 const unsigned long long f22(
const unsigned long long p0)
471 TRACE(
"const unsigned long long f22(const unsigned long long)");
475 const float f23(
const float p0)
477 TRACE(
"const float f23(const float)");
481 const double f24(
const double p0)
483 TRACE(
"const double f24(const double)");
487 const long double f25(
const long double p0)
489 TRACE(
"const long double f25(const long double)");
495 TRACE(
"bool f31(bool)");
501 TRACE(
"char f32(char)");
505 signed char f33(
signed char p0)
507 TRACE(
"signed char f33(signed char)");
511 unsigned char f34(
unsigned char p0)
513 TRACE(
"unsigned char f34(unsigned char)");
517 signed short f35(
signed short p0)
519 TRACE(
"signed short f35(signed short)");
523 unsigned short f36(
unsigned short p0)
525 TRACE(
"unsigned short f36(unsigned short)");
529 signed int f37(
signed int p0)
531 TRACE(
"signed int f37(signed int)");
535 unsigned int f38(
unsigned int p0)
537 TRACE(
"unsigned int f38(unsigned int)");
541 signed long f39(
signed long p0)
543 TRACE(
"signed long f39(signed long)");
547 unsigned long f40(
unsigned long p0)
549 TRACE(
"unsigned long f40(unsigned long)");
553 signed long long f41(
signed long long p0)
555 TRACE(
"signed long long f41(signed long long)");
559 unsigned long long f42(
unsigned long long p0)
561 TRACE(
"unsigned long long f42(unsigned long long)");
567 TRACE(
"float f43(float)");
571 double f44(
double p0)
573 TRACE(
"double f44(double)");
577 long double f45(
long double p0)
579 TRACE(
"long double f45(long double)");
587 TRACE(
"const bool f011()");
588 static bool _f011 = 0;
595 TRACE(
"const char f012()");
596 static char _f012 = 0;
603 TRACE(
"const int8_t f013()");
604 static int8_t _f013 = 0;
611 TRACE(
"const uint8_t f014()");
612 static uint8_t _f014 = 0;
619 TRACE(
"const int16_t f015()");
620 static int16_t _f015 = 0;
625 const uint16_t f016()
627 TRACE(
"const uint16_t f016()");
628 static uint16_t _f016 = 0;
635 TRACE(
"const int32_t f017()");
636 static int32_t _f017 = 0;
641 const uint32_t f018()
643 TRACE(
"const uint32_t f018()");
644 static uint32_t _f018 = 0;
651 TRACE(
"const int64_t f021()");
652 static int64_t _f021 = 0;
657 const uint64_t f022()
659 TRACE(
"const uint64_t f022()");
660 static uint64_t _f022 = 0;
667 TRACE(
"const float f023()");
668 static float _f023 = 0;
675 TRACE(
"const double f024()");
676 static double _f024 = 0;
683 TRACE(
"bool f031()");
684 static bool _f031 = 0;
691 TRACE(
"char f032()");
692 static char _f032 = 0;
699 TRACE(
"int8_t f033()");
700 static int8_t _f033 = 0;
707 TRACE(
"uint8_t f034()");
708 static uint8_t _f034 = 0;
715 TRACE(
"int16_t f035()");
716 static int16_t _f035 = 0;
723 TRACE(
"uint16_t f036()");
724 static uint16_t _f036 = 0;
731 TRACE(
"int32_t f037()");
732 static int32_t _f037 = 0;
739 TRACE(
"uint32_t f038()");
740 static uint32_t _f038 = 0;
747 TRACE(
"int64_t f041()");
748 static int64_t _f041 = 0;
755 TRACE(
"uint64_t f042()");
756 static uint64_t _f042 = 0;
763 TRACE(
"float f043()");
764 static float _f043 = 0;
771 TRACE(
"double f044()");
772 static double _f044 = 0;
779 void f111(
const bool p0)
781 TRACE(
"void f111(const bool)");
782 static bool _f111 = 0;
785 "void f111(const bool)");
788 void f112(
const char p0)
790 TRACE(
"void f112(const char)");
791 static char _f112 = 0;
794 "void f112(const char)");
797 void f113(
const int8_t p0)
799 TRACE(
"void f113(const int8_t)");
800 static int8_t _f113 = 0;
803 "void f113(const int8_t)");
806 void f114(
const uint8_t p0)
808 TRACE(
"void f114(const uint8_t)");
809 static uint8_t _f114 = 0;
812 "void f114(const uint8_t)");
815 void f115(
const int16_t p0)
817 TRACE(
"void f115(const int16_t)");
818 static int16_t _f115 = 0;
821 "void f115(const int16_t)");
824 void f116(
const uint16_t p0)
826 TRACE(
"void f116(const uint16_t)");
827 static uint16_t _f116 = 0;
830 "void f116(const uint16_t)");
833 void f117(
const int32_t p0)
835 TRACE(
"void f117(const int32_t)");
836 static int32_t _f117 = 0;
839 "void f117(const int32_t)");
842 void f118(
const uint32_t p0)
844 TRACE(
"void f118(const uint32_t)");
845 static uint32_t _f118 = 0;
848 "void f118(const uint32_t)");
851 void f121(
const int64_t p0)
853 TRACE(
"void f121(const int64_t)");
854 static int64_t _f121 = 0;
857 "void f121(const int64_t)");
860 void f122(
const uint64_t p0)
862 TRACE(
"void f122(const uint64_t)");
863 static uint64_t _f122 = 0;
866 "void f122(const uint64_t)");
869 void f123(
const float p0)
871 TRACE(
"void f123(const float)");
872 static float _f123 = 0;
875 "void f123(const float)");
878 void f124(
const double p0)
880 TRACE(
"void f124(const double)");
881 static double _f124 = 0;
884 "void f124(const double)");
889 TRACE(
"void f131(bool)");
890 static bool _f131 = 0;
898 TRACE(
"void f132(char)");
899 static char _f132 = 0;
907 TRACE(
"void f133(int8_t)");
908 static int8_t _f133 = 0;
911 "void f133(int8_t)");
914 void f134(uint8_t p0)
916 TRACE(
"void f134(uint8_t)");
917 static uint8_t _f134 = 0;
920 "void f134(uint8_t)");
923 void f135(int16_t p0)
925 TRACE(
"void f135(int16_t)");
926 static int16_t _f135 = 0;
929 "void f135(int16_t)");
932 void f136(uint16_t p0)
934 TRACE(
"void f136(uint16_t)");
935 static uint16_t _f136 = 0;
938 "void f136(uint16_t)");
941 void f137(int32_t p0)
943 TRACE(
"void f137(int32_t)");
944 static int32_t _f137 = 0;
947 "void f137(int32_t)");
950 void f138(uint32_t p0)
952 TRACE(
"void f138(uint32_t)");
953 static uint32_t _f138 = 0;
956 "void f138(uint32_t)");
959 void f141(int64_t p0)
961 TRACE(
"void f141(int64_t)");
962 static int64_t _f141 = 0;
965 "void f141(int64_t)");
968 void f142(uint64_t p0)
970 TRACE(
"void f142(uint64_t)");
971 static uint64_t _f142 = 0;
974 "void f142(uint64_t)");
979 TRACE(
"void f143(float)");
980 static float _f143 = 0;
988 TRACE(
"void f144(double)");
989 static double _f144 = 0;
992 "void f144(double)");
999 TRACE(
"const bool & f211()");
1000 static bool _f211 = 0;
1007 TRACE(
"const char & f212()");
1008 static char _f212 = 0;
1013 const int8_t & f213()
1015 TRACE(
"const int8_t & f213()");
1016 static int8_t _f213 = 0;
1021 const uint8_t & f214()
1023 TRACE(
"const uint8_t & f214()");
1024 static uint8_t _f214 = 0;
1029 const int16_t & f215()
1031 TRACE(
"const int16_t & f215()");
1032 static int16_t _f215 = 0;
1037 const uint16_t & f216()
1039 TRACE(
"const uint16_t & f216()");
1040 static uint16_t _f216 = 0;
1045 const int32_t & f217()
1047 TRACE(
"const int32_t & f217()");
1048 static int32_t _f217 = 0;
1053 const uint32_t & f218()
1055 TRACE(
"const uint32_t & f218()");
1056 static uint32_t _f218 = 0;
1061 const int64_t & f221()
1063 TRACE(
"const int64_t & f221()");
1064 static int64_t _f221 = 0;
1069 const uint64_t & f222()
1071 TRACE(
"const uint64_t & f222()");
1072 static uint64_t _f222 = 0;
1077 const float & f223()
1079 TRACE(
"const & float f223()");
1080 static float _f223 = 0;
1085 const double & f224()
1087 TRACE(
"const double & f224()");
1088 static double _f224 = 0;
1095 TRACE(
"bool & f231()");
1096 static bool _f231 = 0;
1103 TRACE(
"char & f232()");
1104 static char _f232 = 0;
1111 TRACE(
"int8_t & f233()");
1112 static int8_t _f233 = 0;
1119 TRACE(
"uint8_t & f234()");
1120 static uint8_t _f234 = 0;
1127 TRACE(
"int16_t & f235()");
1128 static int16_t _f235 = 0;
1135 TRACE(
"uint16_t & f236()");
1136 static uint16_t _f236 = 0;
1143 TRACE(
"int32_t & f237()");
1144 static int32_t _f237 = 0;
1151 TRACE(
"uint32_t & f238()");
1152 static uint32_t _f238 = 0;
1159 TRACE(
"int64_t & f241()");
1160 static int64_t _f241 = 0;
1167 TRACE(
"uint64_t & f242()");
1168 static uint64_t _f242 = 0;
1175 TRACE(
"float & f243()");
1176 static float _f243 = 0;
1183 TRACE(
"double & f244()");
1184 static double _f244 = 0;
1191 void f311(
const bool & p0)
1193 TRACE(
"void f311(const bool &)");
1194 static bool _f311 = 0;
1196 CHECK((p0 != _f311),
1197 "void f311(const bool &)");
1200 void f312(
const char & p0)
1202 TRACE(
"void f312(const char &)");
1203 static char _f312 = 0;
1205 CHECK((p0 != _f312),
1206 "void f312(const char &)");
1209 void f313(
const int8_t & p0)
1211 TRACE(
"void f313(const int8_t &)");
1212 static int8_t _f313 = 0;
1214 CHECK((p0 != _f313),
1215 "void f313(const int8_t &)");
1218 void f314(
const uint8_t & p0)
1220 TRACE(
"void f314(const uint8_t &)");
1221 static uint8_t _f314 = 0;
1223 CHECK((p0 != _f314),
1224 "void f314(const uint8_t &)");
1227 void f315(
const int16_t & p0)
1229 TRACE(
"void f315(const int16_t &)");
1230 static int16_t _f315 = 0;
1232 CHECK((p0 != _f315),
1233 "void f315(const int16_t &)");
1236 void f316(
const uint16_t & p0)
1238 TRACE(
"void f316(const uint16_t &)");
1239 static uint16_t _f316 = 0;
1241 CHECK((p0 != _f316),
1242 "void f316(const uint16_t &)");
1245 void f317(
const int32_t & p0)
1247 TRACE(
"void f317(const int32_t &)");
1248 static int32_t _f317 = 0;
1250 CHECK((p0 != _f317),
1251 "void f317(const int32_t &)");
1254 void f318(
const uint32_t & p0)
1256 TRACE(
"void f318(const uint32_t &)");
1257 static uint32_t _f318 = 0;
1259 CHECK((p0 != _f318),
1260 "void f318(const uint32_t &)");
1263 void f321(
const int64_t & p0)
1265 TRACE(
"void f321(const int64_t &)");
1266 static int64_t _f321 = 0;
1268 CHECK((p0 != _f321),
1269 "void f321(const int64_t &)");
1272 void f322(
const uint64_t & p0)
1274 TRACE(
"void f322(const uint64_t &)");
1275 static uint64_t _f322 = 0;
1277 CHECK((p0 != _f322),
1278 "void f322(const uint64_t &)");
1281 void f323(
const float & p0)
1283 TRACE(
"void f323(const float &)");
1284 static float _f323 = 0;
1286 CHECK((p0 != _f323),
1287 "void f323(const float &)");
1290 void f324(
const double & p0)
1292 TRACE(
"void f324(const double &)");
1293 static double _f324 = 0;
1295 CHECK((p0 != _f324),
1296 "void f324(const double &)");
1299 void f331(
bool & p0)
1301 TRACE(
"void f331(bool &)");
1302 static bool _f331 = 0;
1304 CHECK((p0 != _f331),
1305 "void f331(bool &)");
1310 void f332(
char & p0)
1312 TRACE(
"void f332(char &)");
1313 static char _f332 = 0;
1315 CHECK((p0 != _f332),
1316 "void f332(char &)");
1321 void f333(int8_t & p0)
1323 TRACE(
"void f333(int8_t &)");
1324 static int8_t _f333 = 0;
1326 CHECK((p0 != _f333),
1327 "void f333(int8_t &)");
1332 void f334(uint8_t & p0)
1334 TRACE(
"void f334(uint8_t &)");
1335 static uint8_t _f334 = 0;
1337 CHECK((p0 != _f334),
1338 "void f334(uint8_t &)");
1343 void f335(int16_t & p0)
1345 TRACE(
"void f335(int16_t &)");
1346 static int16_t _f335 = 0;
1348 CHECK((p0 != _f335),
1349 "void f335(int16_t &)");
1354 void f336(uint16_t & p0)
1356 TRACE(
"void f336(uint16_t &)");
1357 static uint16_t _f336 = 0;
1359 CHECK((p0 != _f336),
1360 "void f336(uint16_t &)");
1365 void f337(int32_t & p0)
1367 TRACE(
"void f337(int32_t &)");
1368 static int32_t _f337 = 0;
1370 CHECK((p0 != _f337),
1371 "void f337(int32_t &)");
1376 void f338(uint32_t & p0)
1378 TRACE(
"void f338(uint32_t &)");
1379 static uint32_t _f338 = 0;
1381 CHECK((p0 != _f338),
1382 "void f338(uint32_t &)");
1387 void f341(int64_t & p0)
1389 TRACE(
"void f341(int64_t &)");
1390 static int64_t _f341 = 0;
1392 CHECK((p0 != _f341),
1393 "void f341(int64_t &)");
1398 void f342(uint64_t & p0)
1400 TRACE(
"void f342(uint64_t &)");
1401 static uint64_t _f342 = 0;
1403 CHECK((p0 != _f342),
1404 "void f342(uint64_t &)");
1409 void f343(
float & p0)
1411 TRACE(
"void f343(float &)");
1412 static float _f343 = 0;
1414 CHECK((p0 != _f343),
1415 "void f343(float &)");
1420 void f344(
double & p0)
1422 TRACE(
"void f344(double &)");
1423 static double _f344 = 0;
1425 CHECK((p0 != _f344),
1426 "void f344(double &)");
1435 TRACE(
"const bool * f411()");
1436 static bool _f411 = 0;
1443 TRACE(
"const char * f412()");
1444 static char _f412 = 0;
1449 const int8_t * f413()
1451 TRACE(
"const int8_t * f413()");
1452 static int8_t _f413 = 0;
1457 const uint8_t * f414()
1459 TRACE(
"const uint8_t * f414()");
1460 static uint8_t _f414 = 0;
1465 const int16_t * f415()
1467 TRACE(
"const int16_t * f415()");
1468 static int16_t _f415 = 0;
1473 const uint16_t * f416()
1475 TRACE(
"const uint16_t * f416()");
1476 static uint16_t _f416 = 0;
1481 const int32_t * f417()
1483 TRACE(
"const int32_t * f417()");
1484 static int32_t _f417 = 0;
1489 const uint32_t * f418()
1491 TRACE(
"const uint32_t * f418()");
1492 static uint32_t _f418 = 0;
1497 const int64_t * f421()
1499 TRACE(
"const int64_t * f421()");
1500 static int64_t _f421 = 0;
1505 const uint64_t * f422()
1507 TRACE(
"const uint64_t * f422()");
1508 static uint64_t _f422 = 0;
1513 const float * f423()
1515 TRACE(
"const * float f423()");
1516 static float _f423 = 0;
1521 const double * f424()
1523 TRACE(
"const double * f424()");
1524 static double _f424 = 0;
1531 TRACE(
"bool * f431()");
1532 static bool _f431 = 0;
1539 TRACE(
"char * f432()");
1540 static char _f432 = 0;
1547 TRACE(
"int8_t * f433()");
1548 static int8_t _f433 = 0;
1555 TRACE(
"uint8_t * f434()");
1556 static uint8_t _f434 = 0;
1563 TRACE(
"int16_t * f435()");
1564 static int16_t _f435 = 0;
1571 TRACE(
"uint16_t * f436()");
1572 static uint16_t _f436 = 0;
1579 TRACE(
"int32_t * f437()");
1580 static int32_t _f437 = 0;
1587 TRACE(
"uint32_t * f438()");
1588 static uint32_t _f438 = 0;
1595 TRACE(
"int64_t * f441()");
1596 static int64_t _f441 = 0;
1603 TRACE(
"uint64_t * f442()");
1604 static uint64_t _f442 = 0;
1611 TRACE(
"float * f443()");
1612 static float _f443 = 0;
1619 TRACE(
"double * f444()");
1620 static double _f444 = 0;
1625 const bool *
const f451()
1627 TRACE(
"const bool * const f451()");
1628 static bool _f451 = 0;
1633 const char *
const f452()
1635 TRACE(
"const char * const f452()");
1636 static char _f452 = 0;
1641 const int8_t *
const f453()
1643 TRACE(
"const int8_t * const f453()");
1644 static int8_t _f453 = 0;
1649 const uint8_t *
const f454()
1651 TRACE(
"const uint8_t * const f454()");
1652 static uint8_t _f454 = 0;
1657 const int16_t *
const f455()
1659 TRACE(
"const int16_t * const f455()");
1660 static int16_t _f455 = 0;
1665 const uint16_t *
const f456()
1667 TRACE(
"const uint16_t * const f456()");
1668 static uint16_t _f456 = 0;
1673 const int32_t *
const f457()
1675 TRACE(
"const int32_t * const f457()");
1676 static int32_t _f457 = 0;
1681 const uint32_t *
const f458()
1683 TRACE(
"const uint32_t * const f458()");
1684 static uint32_t _f458 = 0;
1689 const int64_t *
const f461()
1691 TRACE(
"const int64_t * const f461()");
1692 static int64_t _f461 = 0;
1697 const uint64_t *
const f462()
1699 TRACE(
"const uint64_t * const f462()");
1700 static uint64_t _f462 = 0;
1705 const float *
const f463()
1707 TRACE(
"const * float const f463()");
1708 static float _f463 = 0;
1713 const double *
const f464()
1715 TRACE(
"const double * const f464()");
1716 static double _f464 = 0;
1723 TRACE(
"bool * const f471()");
1724 static bool _f471 = 0;
1731 TRACE(
"char * const f472()");
1732 static char _f472 = 0;
1737 int8_t *
const f473()
1739 TRACE(
"int8_t * const f473()");
1740 static int8_t _f473 = 0;
1745 uint8_t *
const f474()
1747 TRACE(
"uint8_t * const f474()");
1748 static uint8_t _f474 = 0;
1753 int16_t *
const f475()
1755 TRACE(
"int16_t * const f475()");
1756 static int16_t _f475 = 0;
1761 uint16_t *
const f476()
1763 TRACE(
"uint16_t * const f476()");
1764 static uint16_t _f476 = 0;
1769 int32_t *
const f477()
1771 TRACE(
"int32_t * const f477()");
1772 static int32_t _f477 = 0;
1777 uint32_t *
const f478()
1779 TRACE(
"uint32_t * const f478()");
1780 static uint32_t _f478 = 0;
1785 int64_t *
const f481()
1787 TRACE(
"int64_t * const f481()");
1788 static int64_t _f481 = 0;
1793 uint64_t *
const f482()
1795 TRACE(
"uint64_t * const f482()");
1796 static uint64_t _f482 = 0;
1801 float *
const f483()
1803 TRACE(
"float * const f483()");
1804 static float _f483 = 0;
1809 double *
const f484()
1811 TRACE(
"double * const f484()");
1812 static double _f484 = 0;
1819 void f511(
const bool * p0)
1821 TRACE(
"void f511(const bool *)");
1822 static bool _f511 = 0;
1824 CHECK((*p0 != _f511),
1825 "void f511(const bool *)");
1828 void f512(
const char * p0)
1830 TRACE(
"void f512(const char *)");
1831 static char _f512 = 0;
1833 CHECK((*p0 != _f512),
1834 "void f512(const char *)");
1837 void f513(
const int8_t * p0)
1839 TRACE(
"void f513(const int8_t *)");
1840 static int8_t _f513 = 0;
1842 CHECK((*p0 != _f513),
1843 "void f513(const int8_t *)");
1846 void f514(
const uint8_t * p0)
1848 TRACE(
"void f514(const uint8_t *)");
1849 static uint8_t _f514 = 0;
1851 CHECK((*p0 != _f514),
1852 "void f514(const uint8_t *)");
1855 void f515(
const int16_t * p0)
1857 TRACE(
"void f515(const int16_t *)");
1858 static int16_t _f515 = 0;
1860 CHECK((*p0 != _f515),
1861 "void f515(const int16_t *)");
1864 void f516(
const uint16_t * p0)
1866 TRACE(
"void f516(const uint16_t *)");
1867 static uint16_t _f516 = 0;
1869 CHECK((*p0 != _f516),
1870 "void f516(const uint16_t *)");
1873 void f517(
const int32_t * p0)
1875 TRACE(
"void f517(const int32_t *)");
1876 static int32_t _f517 = 0;
1878 CHECK((*p0 != _f517),
1879 "void f517(const int32_t *)");
1882 void f518(
const uint32_t * p0)
1884 TRACE(
"void f518(const uint32_t *)");
1885 static uint32_t _f518 = 0;
1887 CHECK((*p0 != _f518),
1888 "void f518(const uint32_t *)");
1891 void f521(
const int64_t * p0)
1893 TRACE(
"void f521(const int64_t *)");
1894 static int64_t _f521 = 0;
1896 CHECK((*p0 != _f521),
1897 "void f521(const int64_t *)");
1900 void f522(
const uint64_t * p0)
1902 TRACE(
"void f522(const uint64_t *)");
1903 static uint64_t _f522 = 0;
1905 CHECK((*p0 != _f522),
1906 "void f522(const uint64_t *)");
1909 void f523(
const float * p0)
1911 TRACE(
"void f523(const float *)");
1912 static float _f523 = 0;
1914 CHECK((*p0 != _f523),
1915 "void f523(const float *)");
1918 void f524(
const double * p0)
1920 TRACE(
"void f524(const double *)");
1921 static double _f524 = 0;
1923 CHECK((*p0 != _f524),
1924 "void f524(const double *)");
1927 void f531(
bool * p0)
1929 TRACE(
"void f531(bool *)");
1930 static bool _f531 = 0;
1932 CHECK((*p0 != _f531),
1933 "void f531(bool *)");
1938 void f532(
char * p0)
1940 TRACE(
"void f532(char *)");
1941 static char _f532 = 0;
1943 CHECK((*p0 != _f532),
1944 "void f532(char *)");
1949 void f533(int8_t * p0)
1951 TRACE(
"void f533(int8_t *)");
1952 static int8_t _f533 = 0;
1954 CHECK((*p0 != _f533),
1955 "void f533(int8_t *)");
1960 void f534(uint8_t * p0)
1962 TRACE(
"void f534(uint8_t *)");
1963 static uint8_t _f534 = 0;
1965 CHECK((*p0 != _f534),
1966 "void f534(uint8_t *)");
1971 void f535(int16_t * p0)
1973 TRACE(
"void f535(int16_t *)");
1974 static int16_t _f535 = 0;
1976 CHECK((*p0 != _f535),
1977 "void f535(int16_t *)");
1982 void f536(uint16_t * p0)
1984 TRACE(
"void f536(uint16_t *)");
1985 static uint16_t _f536 = 0;
1987 CHECK((*p0 != _f536),
1988 "void f536(uint16_t *)");
1993 void f537(int32_t * p0)
1995 TRACE(
"void f537(int32_t *)");
1996 static int32_t _f537 = 0;
1998 CHECK((*p0 != _f537),
1999 "void f537(int32_t *)");
2004 void f538(uint32_t * p0)
2006 TRACE(
"void f538(uint32_t *)");
2007 static uint32_t _f538 = 0;
2009 CHECK((*p0 != _f538),
2010 "void f538(uint32_t *)");
2015 void f541(int64_t * p0)
2017 TRACE(
"void f541(int64_t *)");
2018 static int64_t _f541 = 0;
2020 CHECK((*p0 != _f541),
2021 "void f541(int64_t *)");
2026 void f542(uint64_t * p0)
2028 TRACE(
"void f542(uint64_t *)");
2029 static uint64_t _f542 = 0;
2031 CHECK((*p0 != _f542),
2032 "void f542(uint64_t *)");
2037 void f543(
float * p0)
2039 TRACE(
"void f543(float *)");
2040 static float _f543 = 0;
2042 CHECK((*p0 != _f543),
2043 "void f543(float *)");
2048 void f544(
double * p0)
2050 TRACE(
"void f544(double *)");
2051 static double _f544 = 0;
2053 CHECK((*p0 != _f544),
2054 "void f544(double *)");
2059 void f551(
const bool *
const p0)
2061 TRACE(
"void f551(const bool * const)");
2062 static bool _f551 = 0;
2064 CHECK((*p0 != _f551),
2065 "void f551(const bool * const)");
2068 void f552(
const char *
const p0)
2070 TRACE(
"void f552(const char * const)");
2071 static char _f552 = 0;
2073 CHECK((*p0 != _f552),
2074 "void f552(const char * const)");
2077 void f553(
const int8_t *
const p0)
2079 TRACE(
"void f553(const int8_t * const)");
2080 static int8_t _f553 = 0;
2082 CHECK((*p0 != _f553),
2083 "void f553(const int8_t * const)");
2086 void f554(
const uint8_t *
const p0)
2088 TRACE(
"void f554(const uint8_t * const)");
2089 static uint8_t _f554 = 0;
2091 CHECK((*p0 != _f554),
2092 "void f554(const uint8_t * const)");
2095 void f555(
const int16_t *
const p0)
2097 TRACE(
"void f555(const int16_t * const)");
2098 static int16_t _f555 = 0;
2100 CHECK((*p0 != _f555),
2101 "void f555(const int16_t * const)");
2104 void f556(
const uint16_t *
const p0)
2106 TRACE(
"void f556(const uint16_t * const)");
2107 static uint16_t _f556 = 0;
2109 CHECK((*p0 != _f556),
2110 "void f556(const uint16_t * const)");
2113 void f557(
const int32_t *
const p0)
2115 TRACE(
"void f557(const int32_t * const)");
2116 static int32_t _f557 = 0;
2118 CHECK((*p0 != _f557),
2119 "void f557(const int32_t * const)");
2122 void f558(
const uint32_t *
const p0)
2124 TRACE(
"void f558(const uint32_t * const)");
2125 static uint32_t _f558 = 0;
2127 CHECK((*p0 != _f558),
2128 "void f558(const uint32_t * const)");
2131 void f561(
const int64_t *
const p0)
2133 TRACE(
"void f561(const int64_t * const)");
2134 static int64_t _f561 = 0;
2136 CHECK((*p0 != _f561),
2137 "void f561(const int64_t * const)");
2140 void f562(
const uint64_t *
const p0)
2142 TRACE(
"void f562(const uint64_t * const)");
2143 static uint64_t _f562 = 0;
2145 CHECK((*p0 != _f562),
2146 "void f562(const uint64_t * const)");
2149 void f563(
const float *
const p0)
2151 TRACE(
"void f563(const float * const)");
2152 static float _f563 = 0;
2154 CHECK((*p0 != _f563),
2155 "void f563(const float * const)");
2158 void f564(
const double *
const p0)
2160 TRACE(
"void f564(const double * const)");
2161 static double _f564 = 0;
2163 CHECK((*p0 != _f564),
2164 "void f564(const double * const)");
2167 void f571(
bool *
const p0)
2169 TRACE(
"void f571(bool * const)");
2170 static bool _f571 = 0;
2172 CHECK((*p0 != _f571),
2173 "void f571(bool * const)");
2178 void f572(
char *
const p0)
2180 TRACE(
"void f572(char * const)");
2181 static char _f572 = 0;
2183 CHECK((*p0 != _f572),
2184 "void f572(char * const)");
2189 void f573(int8_t *
const p0)
2191 TRACE(
"void f573(int8_t * const)");
2192 static int8_t _f573 = 0;
2194 CHECK((*p0 != _f573),
2195 "void f573(int8_t * const)");
2200 void f574(uint8_t *
const p0)
2202 TRACE(
"void f574(uint8_t * const)");
2203 static uint8_t _f574 = 0;
2205 CHECK((*p0 != _f574),
2206 "void f574(uint8_t * const)");
2211 void f575(int16_t *
const p0)
2213 TRACE(
"void f575(int16_t * const)");
2214 static int16_t _f575 = 0;
2216 CHECK((*p0 != _f575),
2217 "void f575(int16_t * const)");
2222 void f576(uint16_t *
const p0)
2224 TRACE(
"void f576(uint16_t * const)");
2225 static uint16_t _f576 = 0;
2227 CHECK((*p0 != _f576),
2228 "void f576(uint16_t * const)");
2233 void f577(int32_t *
const p0)
2235 TRACE(
"void f577(int32_t * const)");
2236 static int32_t _f577 = 0;
2238 CHECK((*p0 != _f577),
2239 "void f577(int32_t * const)");
2244 void f578(uint32_t *
const p0)
2246 TRACE(
"void f578(uint32_t * const)");
2247 static uint32_t _f578 = 0;
2249 CHECK((*p0 != _f578),
2250 "void f578(uint32_t * const)");
2255 void f581(int64_t *
const p0)
2257 TRACE(
"void f581(int64_t * const)");
2258 static int64_t _f581 = 0;
2260 CHECK((*p0 != _f581),
2261 "void f581(int64_t * const)");
2266 void f582(uint64_t *
const p0)
2268 TRACE(
"void f582(uint64_t * const)");
2269 static uint64_t _f582 = 0;
2271 CHECK((*p0 != _f582),
2272 "void f582(uint64_t * const)");
2277 void f583(
float *
const p0)
2279 TRACE(
"void f583(float * const)");
2280 static float _f583 = 0;
2282 CHECK((*p0 != _f583),
2283 "void f583(float * const)");
2288 void f584(
double *
const p0)
2290 TRACE(
"void f584(double * const)");
2291 static double _f584 = 0;
2293 CHECK((*p0 != _f584),
2294 "void f584(double * const)");
2303 TRACE(
"const bool * f611()");
2304 static bool _f611 = 1;
2305 return (((_f611 = !_f611) == 0) ? NULL : &_f611);
2310 TRACE(
"const char * f612()");
2311 static char _f612 = 1;
2312 return (((_f612 = (
char)-_f612) != 1) ? NULL : &_f612);
2315 const int8_t * f613()
2317 TRACE(
"const int8_t * f613()");
2318 static int8_t _f613 = 1;
2319 return (((_f613 = (int8_t)-_f613) != 1) ? NULL : &_f613);
2322 const uint8_t * f614()
2324 TRACE(
"const uint8_t * f614()");
2325 static uint8_t _f614 = 1;
2326 return (((_f614 = (uint8_t)-_f614) != 1) ? NULL : &_f614);
2329 const int16_t * f615()
2331 TRACE(
"const int16_t * f615()");
2332 static int16_t _f615 = 1;
2333 return (((_f615 = (int16_t)-_f615) != 1) ? NULL : &_f615);
2336 const uint16_t * f616()
2338 TRACE(
"const uint16_t * f616()");
2339 static uint16_t _f616 = 1;
2340 return (((_f616 = (uint16_t)-_f616) != 1) ? NULL : &_f616);
2343 const int32_t * f617()
2345 TRACE(
"const int32_t * f617()");
2346 static int32_t _f617 = 1;
2347 return (((_f617 = (int32_t)-_f617) != 1) ? NULL : &_f617);
2350 const uint32_t * f618()
2352 TRACE(
"const uint32_t * f618()");
2353 static uint32_t _f618 = 1;
2354 return (((_f618 = (uint32_t)-_f618) != 1) ? NULL : &_f618);
2357 const int64_t * f621()
2359 TRACE(
"const int64_t * f621()");
2360 static int64_t _f621 = 1;
2361 return (((_f621 = (int64_t)-_f621) != 1) ? NULL : &_f621);
2364 const uint64_t * f622()
2366 TRACE(
"const uint64_t * f622()");
2367 static uint64_t _f622 = 1;
2368 return (((_f622 = (uint64_t)-_f622) != 1) ? NULL : &_f622);
2371 const float * f623()
2373 TRACE(
"const * float f623()");
2374 static float _f623 = 1;
2375 return (((_f623 = (
float)-_f623) != 1) ? NULL : &_f623);
2378 const double * f624()
2380 TRACE(
"const double * f624()");
2381 static double _f624 = 1;
2382 return (((_f624 = (
double)-_f624) != 1) ? NULL : &_f624);
2387 TRACE(
"bool * f631()");
2388 static bool _f631 = 1;
2389 return (((_f631 = !_f631) == 0) ? NULL : &_f631);
2394 TRACE(
"char * f632()");
2395 static char _f632 = 1;
2396 return (((_f632 = (
char)-_f632) != 1) ? NULL : &_f632);
2401 TRACE(
"int8_t * f633()");
2402 static int8_t _f633 = 1;
2403 return (((_f633 = (int8_t)-_f633) != 1) ? NULL : &_f633);
2408 TRACE(
"uint8_t * f634()");
2409 static uint8_t _f634 = 1;
2410 return (((_f634 = (uint8_t)-_f634) != 1) ? NULL : &_f634);
2415 TRACE(
"int16_t * f635()");
2416 static int16_t _f635 = 1;
2417 return (((_f635 = (int16_t)-_f635) != 1) ? NULL : &_f635);
2422 TRACE(
"uint16_t * f636()");
2423 static uint16_t _f636 = 1;
2424 return (((_f636 = (uint16_t)-_f636) != 1) ? NULL : &_f636);
2429 TRACE(
"int32_t * f637()");
2430 static int32_t _f637 = 1;
2431 return (((_f637 = (int32_t)-_f637) != 1) ? NULL : &_f637);
2436 TRACE(
"uint32_t * f638()");
2437 static uint32_t _f638 = 1;
2438 return (((_f638 = (uint32_t)-_f638) != 1) ? NULL : &_f638);
2443 TRACE(
"int64_t * f641()");
2444 static int64_t _f641 = 1;
2445 return (((_f641 = (int64_t)-_f641) != 1) ? NULL : &_f641);
2450 TRACE(
"uint64_t * f642()");
2451 static uint64_t _f642 = 1;
2452 return (((_f642 = (uint64_t)-_f642) != 1) ? NULL : &_f642);
2457 TRACE(
"float * f643()");
2458 static float _f643 = 1;
2459 return (((_f643 = (
float)-_f643) != 1) ? NULL : &_f643);
2464 TRACE(
"double * f644()");
2465 static double _f644 = 1;
2466 return (((_f644 = (
double)-_f644) != 1) ? NULL : &_f644);
2469 const bool *
const f651()
2471 TRACE(
"const bool * const f651()");
2472 static bool _f651 = 1;
2473 return (((_f651 = !_f651) == 0) ? NULL : &_f651);
2476 const char *
const f652()
2478 TRACE(
"const char * const f652()");
2479 static char _f652 = 1;
2480 return (((_f652 = (
char)-_f652) != 1) ? NULL : &_f652);
2483 const int8_t *
const f653()
2485 TRACE(
"const int8_t * const f653()");
2486 static int8_t _f653 = 1;
2487 return (((_f653 = (int8_t)-_f653) != 1) ? NULL : &_f653);
2490 const uint8_t *
const f654()
2492 TRACE(
"const uint8_t * const f654()");
2493 static uint8_t _f654 = 1;
2494 return (((_f654 = (uint8_t)-_f654) != 1) ? NULL : &_f654);
2497 const int16_t *
const f655()
2499 TRACE(
"const int16_t * const f655()");
2500 static int16_t _f655 = 1;
2501 return (((_f655 = (int16_t)-_f655) != 1) ? NULL : &_f655);
2504 const uint16_t *
const f656()
2506 TRACE(
"const uint16_t * const f656()");
2507 static uint16_t _f656 = 1;
2508 return (((_f656 = (uint16_t)-_f656) != 1) ? NULL : &_f656);
2511 const int32_t *
const f657()
2513 TRACE(
"const int32_t * const f657()");
2514 static int32_t _f657 = 1;
2515 return (((_f657 = (int32_t)-_f657) != 1) ? NULL : &_f657);
2518 const uint32_t *
const f658()
2520 TRACE(
"const uint32_t * const f658()");
2521 static uint32_t _f658 = 1;
2522 return (((_f658 = (uint32_t)-_f658) != 1) ? NULL : &_f658);
2525 const int64_t *
const f661()
2527 TRACE(
"const int64_t * const f661()");
2528 static int64_t _f661 = 1;
2529 return (((_f661 = (int64_t)-_f661) != 1) ? NULL : &_f661);
2532 const uint64_t *
const f662()
2534 TRACE(
"const uint64_t * const f662()");
2535 static uint64_t _f662 = 1;
2536 return (((_f662 = (uint64_t)-_f662) != 1) ? NULL : &_f662);
2539 const float *
const f663()
2541 TRACE(
"const * float const f663()");
2542 static float _f663 = 1;
2543 return (((_f663 = (
float)-_f663) != 1) ? NULL : &_f663);
2546 const double *
const f664()
2548 TRACE(
"const double * const f664()");
2549 static double _f664 = 1;
2550 return (((_f664 = (
double)-_f664) != 1) ? NULL : &_f664);
2555 TRACE(
"bool * const f671()");
2556 static bool _f671 = 1;
2557 return (((_f671 = !_f671) == 0) ? NULL : &_f671);
2562 TRACE(
"char * const f672()");
2563 static char _f672 = 1;
2564 return (((_f672 = (
char)-_f672) != 1) ? NULL : &_f672);
2567 int8_t *
const f673()
2569 TRACE(
"int8_t * const f673()");
2570 static int8_t _f673 = 1;
2571 return (((_f673 = (int8_t)-_f673) != 1) ? NULL : &_f673);
2574 uint8_t *
const f674()
2576 TRACE(
"uint8_t * const f674()");
2577 static uint8_t _f674 = 1;
2578 return (((_f674 = (uint8_t)-_f674) != 1) ? NULL : &_f674);
2581 int16_t *
const f675()
2583 TRACE(
"int16_t * const f675()");
2584 static int16_t _f675 = 1;
2585 return (((_f675 = (int16_t)-_f675) != 1) ? NULL : &_f675);
2588 uint16_t *
const f676()
2590 TRACE(
"uint16_t * const f676()");
2591 static uint16_t _f676 = 1;
2592 return (((_f676 = (uint16_t)-_f676) != 1) ? NULL : &_f676);
2595 int32_t *
const f677()
2597 TRACE(
"int32_t * const f677()");
2598 static int32_t _f677 = 1;
2599 return (((_f677 = (int32_t)-_f677) != 1) ? NULL : &_f677);
2602 uint32_t *
const f678()
2604 TRACE(
"uint32_t * const f678()");
2605 static uint32_t _f678 = 1;
2606 return (((_f678 = (uint32_t)-_f678) != 1) ? NULL : &_f678);
2609 int64_t *
const f681()
2611 TRACE(
"int64_t * const f681()");
2612 static int64_t _f681 = 1;
2613 return (((_f681 = (int64_t)-_f681) != 1) ? NULL : &_f681);
2616 uint64_t *
const f682()
2618 TRACE(
"uint64_t * const f682()");
2619 static uint64_t _f682 = 1;
2620 return (((_f682 = (uint64_t)-_f682) != 1) ? NULL : &_f682);
2623 float *
const f683()
2625 TRACE(
"float * const f683()");
2626 static float _f683 = 1;
2627 return (((_f683 = (
float)-_f683) != 1) ? NULL : &_f683);
2630 double *
const f684()
2632 TRACE(
"double * const f684()");
2633 static double _f684 = 1;
2634 return (((_f684 = (
double)-_f684) != 1) ? NULL : &_f684);
2639 void f711(
const bool * p0)
2641 TRACE(
"void f711(const bool *)");
2642 static bool _f711 = 1;
2643 CHECK((((_f711 = !_f711) == 0) ^ (p0 == NULL)),
2644 "void f711(const bool *)");
2647 void f712(
const char * p0)
2649 TRACE(
"void f712(const char *)");
2650 static char _f712 = 1;
2651 CHECK((((_f712 = (
char)-_f712) != 1) ^ (p0 == NULL)),
2652 "void f712(const char *)");
2655 void f713(
const int8_t * p0)
2657 TRACE(
"void f713(const int8_t *)");
2658 static int8_t _f713 = 1;
2659 CHECK((((_f713 = (int8_t)-_f713) != 1) ^ (p0 == NULL)),
2660 "void f713(const int8_t *)");
2663 void f714(
const uint8_t * p0)
2665 TRACE(
"void f714(const uint8_t *)");
2666 static uint8_t _f714 = 1;
2667 CHECK((((_f714 = (uint8_t)-_f714) != 1) ^ (p0 == NULL)),
2668 "void f714(const uint8_t *)");
2671 void f715(
const int16_t * p0)
2673 TRACE(
"void f715(const int16_t *)");
2674 static int16_t _f715 = 1;
2675 CHECK((((_f715 = (int16_t)-_f715) != 1) ^ (p0 == NULL)),
2676 "void f715(const int16_t *)");
2679 void f716(
const uint16_t * p0)
2681 TRACE(
"void f716(const uint16_t *)");
2682 static uint16_t _f716 = 1;
2683 CHECK((((_f716 = (uint16_t)-_f716) != 1) ^ (p0 == NULL)),
2684 "void f716(const uint16_t *)");
2687 void f717(
const int32_t * p0)
2689 TRACE(
"void f717(const int32_t *)");
2690 static int32_t _f717 = 1;
2691 CHECK((((_f717 = (int32_t)-_f717) != 1) ^ (p0 == NULL)),
2692 "void f717(const int32_t *)");
2695 void f718(
const uint32_t * p0)
2697 TRACE(
"void f718(const uint32_t *)");
2698 static uint32_t _f718 = 1;
2699 CHECK((((_f718 = (uint32_t)-_f718) != 1) ^ (p0 == NULL)),
2700 "void f718(const uint32_t *)");
2703 void f721(
const int64_t * p0)
2705 TRACE(
"void f721(const int64_t *)");
2706 static int64_t _f721 = 1;
2707 CHECK((((_f721 = (int64_t)-_f721) != 1) ^ (p0 == NULL)),
2708 "void f721(const int64_t *)");
2711 void f722(
const uint64_t * p0)
2713 TRACE(
"void f722(const uint64_t *)");
2714 static uint64_t _f722 = 1;
2715 CHECK((((_f722 = (uint64_t)-_f722) != 1) ^ (p0 == NULL)),
2716 "void f722(const uint64_t *)");
2719 void f723(
const float * p0)
2721 TRACE(
"void f723(const float *)");
2722 static float _f723 = 1;
2723 CHECK((((_f723 = (
float)-_f723) != 1) ^ (p0 == NULL)),
2724 "void f723(const float *)");
2727 void f724(
const double * p0)
2729 TRACE(
"void f724(const double *)");
2730 static double _f724 = 1;
2731 CHECK((((_f724 = (
double)-_f724) != 1) ^ (p0 == NULL)),
2732 "void f724(const double *)");
2735 void f731(
bool * p0)
2737 TRACE(
"void f731(bool *)");
2738 static bool _f731 = 1;
2739 CHECK((((_f731 = !_f731) == 0) ^ (p0 == NULL)),
2740 "void f731(bool *)");
2743 void f732(
char * p0)
2745 TRACE(
"void f732(char *)");
2746 static char _f732 = 1;
2747 CHECK((((_f732 = (
char)-_f732) != 1) ^ (p0 == NULL)),
2748 "void f732(char *)");
2751 void f733(int8_t * p0)
2753 TRACE(
"void f733(int8_t *)");
2754 static int8_t _f733 = 1;
2755 CHECK((((_f733 = (int8_t)-_f733) != 1) ^ (p0 == NULL)),
2756 "void f733(int8_t *)");
2759 void f734(uint8_t * p0)
2761 TRACE(
"void f734(uint8_t *)");
2762 static uint8_t _f734 = 1;
2763 CHECK((((_f734 = (uint8_t)-_f734) != 1) ^ (p0 == NULL)),
2764 "void f734(uint8_t *)");
2767 void f735(int16_t * p0)
2769 TRACE(
"void f735(int16_t *)");
2770 static int16_t _f735 = 1;
2771 CHECK((((_f735 = (int16_t)-_f735) != 1) ^ (p0 == NULL)),
2772 "void f735(int16_t *)");
2775 void f736(uint16_t * p0)
2777 TRACE(
"void f736(uint16_t *)");
2778 static uint16_t _f736 = 1;
2779 CHECK((((_f736 = (uint16_t)-_f736) != 1) ^ (p0 == NULL)),
2780 "void f736(uint16_t *)");
2783 void f737(int32_t * p0)
2785 TRACE(
"void f737(int32_t *)");
2786 static int32_t _f737 = 1;
2787 CHECK((((_f737 = (int32_t)-_f737) != 1) ^ (p0 == NULL)),
2788 "void f737(int32_t *)");
2791 void f738(uint32_t * p0)
2793 TRACE(
"void f738(uint32_t *)");
2794 static uint32_t _f738 = 1;
2795 CHECK((((_f738 = (uint32_t)-_f738) != 1) ^ (p0 == NULL)),
2796 "void f738(uint32_t *)");
2799 void f741(int64_t * p0)
2801 TRACE(
"void f741(int64_t *)");
2802 static int64_t _f741 = 1;
2803 CHECK((((_f741 = (int64_t)-_f741) != 1) ^ (p0 == NULL)),
2804 "void f741(int64_t *)");
2807 void f742(uint64_t * p0)
2809 TRACE(
"void f742(uint64_t *)");
2810 static uint64_t _f742 = 1;
2811 CHECK((((_f742 = (uint64_t)-_f742) != 1) ^ (p0 == NULL)),
2812 "void f742(uint64_t *)");
2815 void f743(
float * p0)
2817 TRACE(
"void f743(float *)");
2818 static float _f743 = 1;
2819 CHECK((((_f743 = (
float)-_f743) != 1) ^ (p0 == NULL)),
2820 "void f743(float *)");
2823 void f744(
double * p0)
2825 TRACE(
"void f744(double *)");
2826 static double _f744 = 1;
2827 CHECK((((_f744 = (
double)-_f744) != 1) ^ (p0 == NULL)),
2828 "void f744(double *)");
2831 void f751(
const bool *
const p0)
2833 TRACE(
"void f751(const bool * const)");
2834 static bool _f751 = 1;
2835 CHECK((((_f751 = !_f751) == 0) ^ (p0 == NULL)),
2836 "void f751(const bool * const)");
2839 void f752(
const char *
const p0)
2841 TRACE(
"void f752(const char * const)");
2842 static char _f752 = 1;
2843 CHECK((((_f752 = (
char)-_f752) != 1) ^ (p0 == NULL)),
2844 "void f752(const char * const)");
2847 void f753(
const int8_t *
const p0)
2849 TRACE(
"void f753(const int8_t * const)");
2850 static int8_t _f753 = 1;
2851 CHECK((((_f753 = (int8_t)-_f753) != 1) ^ (p0 == NULL)),
2852 "void f753(const int8_t * const)");
2855 void f754(
const uint8_t *
const p0)
2857 TRACE(
"void f754(const uint8_t * const)");
2858 static uint8_t _f754 = 1;
2859 CHECK((((_f754 = (uint8_t)-_f754) != 1) ^ (p0 == NULL)),
2860 "void f754(const uint8_t * const)");
2863 void f755(
const int16_t *
const p0)
2865 TRACE(
"void f755(const int16_t * const)");
2866 static int16_t _f755 = 1;
2867 CHECK((((_f755 = (int16_t)-_f755) != 1) ^ (p0 == NULL)),
2868 "void f755(const int16_t * const)");
2871 void f756(
const uint16_t *
const p0)
2873 TRACE(
"void f756(const uint16_t * const)");
2874 static uint16_t _f756 = 1;
2875 CHECK((((_f756 = (uint16_t)-_f756) != 1) ^ (p0 == NULL)),
2876 "void f756(const uint16_t * const)");
2879 void f757(
const int32_t *
const p0)
2881 TRACE(
"void f757(const int32_t * const)");
2882 static int32_t _f757 = 1;
2883 CHECK((((_f757 = (int32_t)-_f757) != 1) ^ (p0 == NULL)),
2884 "void f757(const int32_t * const)");
2887 void f758(
const uint32_t *
const p0)
2889 TRACE(
"void f758(const uint32_t * const)");
2890 static uint32_t _f758 = 1;
2891 CHECK((((_f758 = (uint32_t)-_f758) != 1) ^ (p0 == NULL)),
2892 "void f758(const uint32_t * const)");
2895 void f761(
const int64_t *
const p0)
2897 TRACE(
"void f761(const int64_t * const)");
2898 static int64_t _f761 = 1;
2899 CHECK((((_f761 = (int64_t)-_f761) != 1) ^ (p0 == NULL)),
2900 "void f761(const int64_t * const)");
2903 void f762(
const uint64_t *
const p0)
2905 TRACE(
"void f762(const uint64_t * const)");
2906 static uint64_t _f762 = 1;
2907 CHECK((((_f762 = (uint64_t)-_f762) != 1) ^ (p0 == NULL)),
2908 "void f762(const uint64_t * const)");
2911 void f763(
const float *
const p0)
2913 TRACE(
"void f763(const float * const)");
2914 static float _f763 = 1;
2915 CHECK((((_f763 = (
float)-_f763) != 1) ^ (p0 == NULL)),
2916 "void f763(const float * const)");
2919 void f764(
const double *
const p0)
2921 TRACE(
"void f764(const double * const)");
2922 static double _f764 = 1;
2923 CHECK((((_f764 = (
double)-_f764) != 1) ^ (p0 == NULL)),
2924 "void f764(const double * const)");
2927 void f771(
bool *
const p0)
2929 TRACE(
"void f771(bool * const)");
2930 static bool _f771 = 1;
2931 CHECK((((_f771 = !_f771) == 0) ^ (p0 == NULL)),
2932 "void f771(bool * const)");
2935 void f772(
char *
const p0)
2937 TRACE(
"void f772(char * const)");
2938 static char _f772 = 1;
2939 CHECK((((_f772 = (
char)-_f772) != 1) ^ (p0 == NULL)),
2940 "void f772(char * const)");
2943 void f773(int8_t *
const p0)
2945 TRACE(
"void f773(int8_t * const)");
2946 static int8_t _f773 = 1;
2947 CHECK((((_f773 = (int8_t)-_f773) != 1) ^ (p0 == NULL)),
2948 "void f773(int8_t * const)");
2951 void f774(uint8_t *
const p0)
2953 TRACE(
"void f774(uint8_t * const)");
2954 static uint8_t _f774 = 1;
2955 CHECK((((_f774 = (uint8_t)-_f774) != 1) ^ (p0 == NULL)),
2956 "void f774(uint8_t * const)");
2959 void f775(int16_t *
const p0)
2961 TRACE(
"void f775(int16_t * const)");
2962 static int16_t _f775 = 1;
2963 CHECK((((_f775 = (int16_t)-_f775) != 1) ^ (p0 == NULL)),
2964 "void f775(int16_t * const)");
2967 void f776(uint16_t *
const p0)
2969 TRACE(
"void f776(uint16_t * const)");
2970 static uint16_t _f776 = 1;
2971 CHECK((((_f776 = (uint16_t)-_f776) != 1) ^ (p0 == NULL)),
2972 "void f776(uint16_t * const)");
2975 void f777(int32_t *
const p0)
2977 TRACE(
"void f777(int32_t * const)");
2978 static int32_t _f777 = 1;
2979 CHECK((((_f777 = (int32_t)-_f777) != 1) ^ (p0 == NULL)),
2980 "void f777(int32_t * const)");
2983 void f778(uint32_t *
const p0)
2985 TRACE(
"void f778(uint32_t * const)");
2986 static uint32_t _f778 = 1;
2987 CHECK((((_f778 = (uint32_t)-_f778) != 1) ^ (p0 == NULL)),
2988 "void f778(uint32_t * const)");
2991 void f781(int64_t *
const p0)
2993 TRACE(
"void f781(int64_t * const)");
2994 static int64_t _f781 = 1;
2995 CHECK((((_f781 = (int64_t)-_f781) != 1) ^ (p0 == NULL)),
2996 "void f781(int64_t * const)");
2999 void f782(uint64_t *
const p0)
3001 TRACE(
"void f782(uint64_t * const)");
3002 static uint64_t _f782 = 1;
3003 CHECK((((_f782 = (uint64_t)-_f782) != 1) ^ (p0 == NULL)),
3004 "void f782(uint64_t * const)");
3007 void f783(
float *
const p0)
3009 TRACE(
"void f783(float * const)");
3010 static float _f783 = 1;
3011 CHECK((((_f783 = (
float)-_f783) != 1) ^ (p0 == NULL)),
3012 "void f783(float * const)");
3015 void f784(
double *
const p0)
3017 TRACE(
"void f784(double * const)");
3018 static double _f784 = 1;
3019 CHECK((((_f784 = (
double)-_f784) != 1) ^ (p0 == NULL)),
3020 "void f784(double * const)");