/*@-dependenttrans@*/
/*@-unqualifiedtrans@*/
/*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
/*@-declundef@*/
/*drl added 11/27/2001*/
-/*@-arraybounds@*/
-/*@-arrayboundsread@*/
+/*@-bounds@*/
/* < end of bison.head > */
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "llbasic.h"
# include "lclscan.h"
# include "checking.h"
/*@=noparams@*/
/*@-redecl@*/
-void ylerror (char *) /*@modifies *g_msgstream@*/ ;
+void ylerror (char *) /*@modifies *g_warningstream@*/ ;
/*@=redecl@*/
bool g_inTypeDef = FALSE;
/*@only@*/ abstBodyNode abstbody;
/*@only@*/ abstractNode abstract;
/*@only@*/ exposedNode exposed;
+ /*@only@*/ pointers pointers;
/* taggedUnionNode taggedunion; */
/*@only@*/ globalList globals;
/*@only@*/ constDeclarationNode constdeclaration;
#if YYDEBUG != 0
static const short yyrline[] = { 0,
- 380, 381, 384, 385, 388, 389, 392, 393, 394, 397,
- 398, 401, 402, 403, 406, 412, 416, 418, 420, 422,
- 424, 426, 430, 434, 435, 438, 440, 444, 445, 448,
- 449, 452, 454, 456, 458, 462, 466, 468, 470, 474,
- 475, 478, 479, 480, 483, 484, 491, 493, 504, 506,
- 509, 513, 513, 514, 515, 515, 517, 518, 519, 520,
- 521, 521, 522, 525, 526, 527, 528, 530, 546, 548,
- 552, 553, 555, 558, 559, 562, 566, 568, 572, 574,
- 576, 578, 582, 583, 586, 588, 590, 593, 595, 598,
- 600, 603, 604, 605, 609, 610, 612, 614, 617, 619,
- 623, 624, 627, 629, 633, 634, 635, 638, 639, 642,
- 646, 647, 650, 651, 654, 655, 657, 660, 661, 664,
- 665, 668, 669, 670, 671, 674, 675, 678, 679, 680,
- 681, 682, 685, 686, 689, 690, 693, 694, 697, 698,
- 699, 702, 703, 706, 707, 708, 711, 712, 715, 720,
- 726, 734, 736, 738, 740, 744, 745, 748, 749, 750,
- 751, 752, 753, 754, 756, 760, 761, 762, 763, 766,
- 767, 770, 771, 774, 774, 783, 784, 788, 789, 792,
- 793, 796, 797, 798, 799, 800, 801, 802, 803, 804,
- 805, 813, 814, 819, 821, 827, 828, 829, 830, 831,
- 832, 833, 834, 835, 836, 837, 838, 839, 840, 841,
- 842, 843, 844, 845, 846, 847, 848, 849, 850, 851,
- 852, 853, 854, 855, 856, 857, 858, 859, 860, 861,
- 862, 865, 867, 869, 871, 873, 882, 883, 888, 889,
- 892, 894, 896, 898, 900, 902, 906, 907, 910, 911,
- 916, 919, 921, 925, 926, 929, 931, 935, 936, 946,
- 947, 950, 951, 952, 953, 954, 955, 958, 959, 960,
- 961, 962, 963, 972, 973, 974, 975, 976, 982, 983,
- 984, 994, 995, 996, 1001, 1002, 1005, 1006, 1007, 1008,
- 1009, 1010, 1011, 1012, 1015, 1016, 1019, 1021, 1023, 1025,
- 1027, 1030, 1032, 1034, 1036, 1038, 1040, 1048, 1050, 1052,
- 1055, 1058, 1061, 1066, 1067, 1070, 1071, 1074, 1075, 1076,
- 1079, 1080, 1083, 1084, 1087, 1088, 1091, 1094, 1095, 1098,
- 1099, 1102, 1105, 1111, 1113, 1114, 1117, 1118, 1123, 1125,
- 1129, 1130, 1131, 1134, 1135, 1138, 1139, 1142, 1143, 1146,
- 1147, 1150, 1151, 1152, 1153, 1154, 1155, 1156, 1159, 1160,
- 1163, 1166, 1168, 1172, 1176, 1177, 1180, 1181, 1184, 1186,
- 1188, 1190, 1191, 1193, 1195, 1197, 1200, 1202, 1206, 1207,
- 1210, 1211, 1212, 1213, 1216, 1217, 1218, 1219, 1220, 1221,
- 1226, 1232, 1242, 1243, 1244, 1245, 1248, 1250, 1254, 1258,
- 1261, 1262, 1265, 1266, 1269, 1270, 1273, 1274, 1275, 1276,
- 1277, 1278, 1279
+ 382, 383, 386, 387, 390, 391, 394, 395, 396, 399,
+ 400, 403, 404, 405, 408, 414, 418, 420, 422, 424,
+ 426, 428, 432, 436, 437, 440, 442, 446, 447, 450,
+ 451, 454, 456, 458, 460, 464, 468, 470, 472, 476,
+ 477, 480, 481, 482, 485, 486, 493, 495, 506, 508,
+ 511, 515, 515, 516, 517, 517, 519, 520, 521, 522,
+ 523, 523, 524, 527, 528, 529, 530, 532, 548, 550,
+ 554, 555, 557, 560, 561, 564, 568, 570, 574, 576,
+ 578, 580, 584, 585, 588, 590, 592, 595, 597, 600,
+ 602, 605, 606, 607, 611, 612, 614, 616, 619, 621,
+ 625, 626, 629, 631, 635, 636, 637, 640, 641, 644,
+ 648, 649, 652, 653, 656, 657, 659, 662, 663, 666,
+ 667, 670, 671, 672, 673, 676, 677, 680, 681, 682,
+ 683, 684, 687, 688, 691, 692, 695, 696, 699, 700,
+ 701, 704, 705, 708, 709, 710, 713, 714, 717, 722,
+ 728, 736, 738, 740, 742, 746, 747, 750, 751, 752,
+ 753, 754, 755, 756, 758, 762, 763, 764, 765, 768,
+ 769, 772, 773, 776, 776, 785, 786, 790, 791, 794,
+ 795, 798, 799, 800, 801, 802, 803, 804, 805, 806,
+ 807, 815, 816, 821, 823, 829, 830, 831, 832, 833,
+ 834, 835, 836, 837, 838, 839, 840, 841, 842, 843,
+ 844, 845, 846, 847, 848, 849, 850, 851, 852, 853,
+ 854, 855, 856, 857, 858, 859, 860, 861, 862, 863,
+ 864, 867, 869, 871, 873, 875, 884, 885, 890, 891,
+ 894, 896, 898, 900, 902, 904, 908, 909, 912, 913,
+ 918, 921, 923, 927, 928, 931, 933, 937, 938, 948,
+ 949, 952, 953, 954, 955, 956, 957, 960, 961, 962,
+ 963, 964, 965, 974, 975, 976, 977, 978, 984, 985,
+ 986, 996, 997, 998, 1003, 1004, 1007, 1008, 1009, 1010,
+ 1011, 1012, 1013, 1014, 1017, 1018, 1021, 1023, 1025, 1027,
+ 1029, 1032, 1034, 1036, 1038, 1040, 1042, 1050, 1052, 1054,
+ 1057, 1060, 1063, 1068, 1069, 1072, 1073, 1076, 1077, 1078,
+ 1081, 1082, 1085, 1086, 1089, 1090, 1093, 1096, 1097, 1100,
+ 1101, 1104, 1107, 1113, 1115, 1116, 1119, 1120, 1125, 1127,
+ 1131, 1132, 1133, 1136, 1137, 1140, 1141, 1144, 1145, 1148,
+ 1149, 1152, 1153, 1154, 1155, 1156, 1157, 1158, 1161, 1162,
+ 1165, 1168, 1170, 1174, 1178, 1179, 1182, 1183, 1186, 1188,
+ 1190, 1192, 1193, 1195, 1197, 1199, 1202, 1204, 1208, 1209,
+ 1212, 1213, 1214, 1215, 1218, 1219, 1220, 1221, 1222, 1223,
+ 1228, 1234, 1244, 1245, 1246, 1247, 1250, 1252, 1256, 1260,
+ 1263, 1264, 1267, 1268, 1271, 1272, 1275, 1276, 1277, 1278,
+ 1279, 1280, 1281
};
#endif
break;}
case 238:
{ llassert (lclTypeSpecNode_isDefined (yyvsp[-1].lcltypespec));
- yyvsp[-1].lcltypespec->pointers = yyvsp[0].count; yyval.lcltypespec = yyvsp[-1].lcltypespec; ;
+ yyvsp[-1].lcltypespec->pointers = yyvsp[0].pointers; yyval.lcltypespec = yyvsp[-1].lcltypespec; ;
break;}
case 239:
-{ yyval.count = 1; ;
+{ yyval.pointers = pointers_createLt (yyvsp[0].ltok); ;
break;}
case 240:
-{ yyval.count = yyvsp[-1].count + 1; ;
+{ yyval.pointers = pointers_extend (yyvsp[-1].pointers, pointers_createLt (yyvsp[0].ltok)); ;
break;}
case 241:
{ (void) checkAndEnterTag (TAG_FWDSTRUCT, ltoken_copy (yyvsp[0].ltok)); ;
/*drl added 11/27/2001*/
-/*@=arraybounds@*/
-/*@=arrayboundsread@*/
+/*@=bounds@*/
andersk / splint.git / blobdiff