/sdktools/vctools/cvpack.js/verify.c

https://github.com/Paolo-Maffei/OpenNT · C · 919 lines · 840 code · 79 blank · 0 comment · 301 complexity · 3911fa5c876438e38243b9d4bf4e35a8 MD5 · raw file 

    

  1. #include <stdio.h>
    2. 

  2. #include <stdlib.h>
    3. 

  3. #include <assert.h>
    4. 

  4. 

  5. #define _REAL10
    6. 

  6. #include "cvinfo.h"
    7. 

  7. #include "cvtdef.h"
    8. 

  8. #include "vmm.h"
    9. 

  9. #include "vbuf.h"
    10. 

  10. #include "cvexefmt.h"
    11. 

  11. #include "compact.h"
    12. 

  12. #include "defines.h"
    13. 

  13. 

  14. #include "engine.h"
    15. 

  15. 

  16. #ifdef WINDOWS
    17. 

  17. 

  18. #include "winstuff.h"
    19. 

  19. 

  20. #endif
    21. 

  21. 

  22. LOCAL void VerifyC7Ptr (uchar *);
    23. 

  23. LOCAL void VerifyClass (uchar *);
    24. 

  24. LOCAL void VerifyUnion (uchar *);
    25. 

  25. LOCAL void VerifyEnum (uchar *);
    26. 

  26. LOCAL void VerifyFieldList (uchar *);
    27. 

  27. LOCAL void VerifyArgList (uchar *);
    28. 

  28. LOCAL void VerifyMethodList (uchar *);
    29. 

  29. LOCAL void VerifyProcedure (uchar *);
    30. 

  30. LOCAL void VerifyMemberFunction (uchar *);
    31. 

  31. LOCAL void VerifyArray (uchar *);
    32. 

  32. LOCAL void VerifyBasicArray (uchar *);
    33. 

  33. LOCAL void VerifyModifier (uchar *);
    34. 

  34. LOCAL void VerifyCobolTypeRef (uchar *);
    35. 

  35. LOCAL void VerifyVTShape (uchar *);
    36. 

  36. LOCAL void VerifyBPRelative (uchar *);
    37. 

  37. LOCAL void VerifyData (uchar *);
    38. 

  38. LOCAL void VerifyRegister (uchar *);
    39. 

  39. LOCAL void VerifyConstant (uchar *);
    40. 

  40. LOCAL void VerifyTypedef (uchar *);
    41. 

  41. LOCAL void VerifyProc (uchar *);
    42. 

  42. LOCAL void VerifyThunk (uchar *);
    43. 

  43. LOCAL void VerifyCodeLabel (uchar *);
    44. 

  44. LOCAL void VerifyCompileFlag (uchar *);
    45. 

  45. LOCAL void VerifyIndex (uchar *, ushort, char *);
    46. 

  46. 

  47. 

  48. LOCAL uchar **GlobalIndexTable;
    49. 

  49. LOCAL ushort NewIndex;
    50. 

  50. LOCAL struct ModuleListType *ModuleList;
    51. 

  51. 

  52. ushort AddrSize;
    53. 

  53. 

  54. typedef struct {
    55. 

  55.     uchar type;
    56. 

  56.     void (*pfn) (uchar *);
    57. 

  57. } FnTableEntry;
    58. 

  58. 

  59. FnTableEntry TypeFnTable[] = {
    60. 

  60.     { OLF_STRING,       NULL },                 // ok
    61. 

  61.     { OLF_LABEL,        NULL },                 // ok
    62. 

  62.     { OLF_BITFIELD,     NULL },                 // ok
    63. 

  63.     { OLF_FSTRING,      NULL },                 // ok
    64. 

  64.     { OLF_FARRIDX,      NULL },                 // ok
    65. 

  65.     { OLF_COBOL,        NULL },                 // ok
    66. 

  66.     { OLF_SCALAR,       NULL },                 // ok
    67. 

  67.     { OLF_NIL,          NULL },                 // ok
    68. 

  68.     { OLF_LIST,         NULL },                 // ok?
    69. 

  69.     { OLF_FIELDLIST,    VerifyFieldList },
    70. 

  70.     { OLF_ARGLIST,      VerifyArgList },
    71. 

  71.     { OLF_METHODLIST,   VerifyMethodList },
    72. 

  72.     { OLF_VTSHAPE,      VerifyVTShape },
    73. 

  73.     { OLF_COBOLTYPEREF, VerifyCobolTypeRef },
    74. 

  74.     { OLF_BARRAY,       VerifyBasicArray },
    75. 

  75.     { OLF_MODIFIER,     VerifyModifier },
    76. 

  76.     { OLF_NEWTYPE,      NULL },                 // ok?
    77. 

  77.     { OLF_C7PTR,        VerifyC7Ptr },
    78. 

  78.     { OLF_C7STRUCTURE,  VerifyClass },
    79. 

  79.     { OLF_CLASS,        VerifyClass },
    80. 

  80.     { OLF_UNION,        VerifyUnion },
    81. 

  81.     { OLF_ENUM,         VerifyEnum },
    82. 

  82.     { OLF_MEMBERFUNC,   VerifyMemberFunction },
    83. 

  83.     { OLF_ARRAY,        VerifyArray },
    84. 

  84.     { OLF_PROCEDURE,    VerifyProcedure }
    85. 

  85. };
    86. 

  86. 

  87. #define TYPCNT (sizeof (TypeFnTable) / sizeof (FnTableEntry))
    88. 

  88. 

  89. FnTableEntry SymFnTable[] = {
    90. 

  90.     { OSYMEND,          NULL },             // ok
    91. 

  91.     { OSYMBPREL,        VerifyBPRelative },
    92. 

  92.     { OSYMREG,          VerifyRegister },
    93. 

  93.     { OSYMCONST,        VerifyConstant },
    94. 

  94.     { OSYMTYPEDEF,      VerifyTypedef },
    95. 

  95.     { OSYMLOCAL,        VerifyData },
    96. 

  96.     { OSYMGLOBAL,       VerifyData },
    97. 

  97.     { OSYMGLOBALPROC,   VerifyProc },
    98. 

  98.     { OSYMLOCALPROC,    VerifyProc },
    99. 

  99.     { OSYMTHUNK,        VerifyThunk },
    100. 

  100.     { OSYMSEARCH,       NULL },             // ok
    101. 

  101.     { OSYMCV4LABEL,     VerifyCodeLabel },
    102. 

  102.     { OSYMCV4BLOCK,     NULL },             // ok
    103. 

  103.     { OSYMCV4WITH,      NULL },             // ok
    104. 

  104.     { OSYMCOMPILE,      VerifyCompileFlag }
    105. 

  105. };
    106. 

  106. 

  107. #define SYMCNT (sizeof (SymFnTable) / sizeof (FnTableEntry))
    108. 

  108. 

  109. 

  110. void FAR VerifyTypes ()
    111. 

  111. {
    112. 

  112.     ushort i, j, n;
    113. 

  113. 

  114.     for (i = 0, n = NewIndex - 512; i < n; i++) {
    115. 

  115.         for (j = 0; j < TYPCNT; j++) {
    116. 

  116.             if (GlobalIndexTable[i][3] == TypeFnTable[j].type) {
    117. 

  117.                 if (TypeFnTable[j].pfn) {
    118. 

  118.                     TypeFnTable[j].pfn (GlobalIndexTable[i]);
    119. 

  119.                 }
    120. 

  120.                 break;
    121. 

  121.             }
    122. 

  122.         }
    123. 

  123.         if (j >= TYPCNT) {
    124. 

  124.             Warning ("$$TYPES", "", "", "unknown type");
    125. 

  125.         }
    126. 

  126.     }
    127. 

  127. }
    128. 

  128. 

  129. 

  130. void FAR VerifySymbols ()
    131. 

  131. {
    132. 

  132.     struct ModuleListType *mod;
    133. 

  133.     uchar *Symbols, *End;
    134. 

  134.     ushort i;
    135. 

  135. 

  136.     AddrSize = (fLinearExe) ? 4 : 2;
    137. 

  137. 

  138.     for (mod = ModuleList; mod; mod = mod->next) {
    139. 

  139.         if (mod->SymbolSize != 0) {
    140. 

  140.             if ( (Symbols = (uchar *)
    141. 

  141.                     VmLoad (mod->SymbolsAddr, mod->SymbolSize, FALSE)) == NULL) {
    142. 

  142.                 FarErrorExit (ERR_NOMEM);
    143. 

  143.             }
    144. 

  144.             for (   End = Symbols + mod->SymbolSize;
    145. 

  145.                     Symbols < End; 
    146. 

  146.                     Symbols += *Symbols + 1) {
    147. 

  147.                 for (i = 0; i < SYMCNT; i++) {
    148. 

  148.                     if (Symbols[1] == SymFnTable[i].type) {
    149. 

  149.                         if (SymFnTable[i].pfn) {
    150. 

  150.                             SymFnTable[i].pfn (Symbols);
    151. 

  151.                         }
    152. 

  152.                         break;
    153. 

  153.                     }
    154. 

  154.                 }
    155. 

  155.                 if (i >= SYMCNT) {
    156. 

  156.                     Warning ("$$SYMBOLS", "", "", "unknown symbol");
    157. 

  157.                 }
    158. 

  158.             }
    159. 

  159.         }
    160. 

  160.     }
    161. 

  161. }
    162. 

  162. 

  163. 

  164. LOCAL void VerifyC7Ptr (uchar *TypeString)
    165. 

  165. {
    166. 

  166.     struct C7PtrAttrib attribute;
    167. 

  167.     ushort index;
    168. 

  168. 

  169.     attribute = * (struct C7PtrAttrib *) (TypeString + 4);
    170. 

  170.     switch (attribute.ptrtype) {
    171. 

  171.     case 0:     // near
    172. 

  172.     case 1:     // far
    173. 

  173.     case 2:     // huge
    174. 

  174.     case 3:     // based on segment
    175. 

  175.     case 9:     // based on self
    176. 

  176.         break;
    177. 

  177.     case 4:     // based on value
    178. 

  178.     case 5:     // based on segment value
    179. 

  179.     case 6:     // based on addr of symbol
    180. 

  180.     case 7:     // based on segment of symbol addr
    181. 

  181.         switch (TypeString[8] & 0x7f) {
    182. 

  182.         case OSYMREG :
    183. 

  183.         case OSYMBPREL :
    184. 

  184.         case OSYMLOCAL :
    185. 

  185.         case OSYMGLOBAL:
    186. 

  186.             break;
    187. 

  187.         default :
    188. 

  188.             Warning ("$$TYPES", "C7Ptr", "variant",
    189. 

  189.                     "unexpected symbol in based pointer");
    190. 

  190.             break;
    191. 

  191.         }
    192. 

  192.         break;
    193. 

  193.     case 8 :
    194. 

  194.         if (* (ushort *) (TypeString + 8) == 0) {
    195. 

  195.             Warning ("$$TYPES", "C7Ptr", "variant",
    196. 

  196.                     "type index 0 in based pointer");
    197. 

  197.         }
    198. 

  198.         break;
    199. 

  199.     default:
    200. 

  200.         Warning ("$$TYPES", "C7Ptr", "attribute", "unknown ptrtype attribute");
    201. 

  201.     }
    202. 

  202. 

  203.     switch (attribute.ptrmode) {
    204. 

  204.     case 0:     // pointer
    205. 

  205.     case 1:     // reference
    206. 

  206.         break;
    207. 

  207.     case 2:     // pointer to member
    208. 

  208.     case 3:     // pointer to member function
    209. 

  209.         index = * (ushort *) (TypeString + 8);
    210. 

  210.         if (index == 0) {
    211. 

  211.             Warning ("$$TYPES", "C7Ptr", "variant", "type index 0");
    212. 

  212.             break;
    213. 

  213.         }
    214. 

  214.         if (index < 512) {
    215. 

  215.             Warning ("$$TYPES", "C7Ptr", "variant",
    216. 

  216.                     "type index of containing class expected");
    217. 

  217.             break;
    218. 

  218.         }
    219. 

  219.         switch (GlobalIndexTable[index - 512][3]) {
    220. 

  220.         case OLF_C7STRUCTURE:
    221. 

  221.         case OLF_CLASS:
    222. 

  222.             break;
    223. 

  223.         default:
    224. 

  224.             Warning ("$$TYPES", "C7Ptr", "variant", "type index of containing class expected");
    225. 

  225.         }
    226. 

  226.         break;
    227. 

  227.     default:
    228. 

  228.         Warning ("$$TYPES", "C7Ptr", "attribute", "unknown ptrmode attribute");
    229. 

  229.     }
    230. 

  230. 

  231.     if (attribute.unused != 0) {
    232. 

  232.         Warning ("$$TYPES", "C7Ptr", "attribute", "unused attribute bits not 0");
    233. 

  233.     }
    234. 

  234. 

  235.     if (* (ushort *) (TypeString + 6) == 0) {
    236. 

  236.         Warning ("$$TYPES", "C7Ptr", "@type", "pointed to object type index 0");
    237. 

  237.     }
    238. 

  238. }
    239. 

  239. 

  240. LOCAL void VerifyClass (uchar *TypeString)
    241. 

  241. {
    242. 

  242.     struct C7StructProp prop;
    243. 

  243.     ushort index;
    244. 

  244. 

  245.     index = * (ushort *) (TypeString + 6);
    246. 

  246.     if (index == 0) {
    247. 

  247.         Warning ("$$TYPES", "Class", "@fList", "type index 0");
    248. 

  248.     }
    249. 

  249.     else if (index < 512 || GlobalIndexTable[index - 512][3] != OLF_FIELDLIST) {
    250. 

  250.         Warning ("$$TYPES", "Class", "@fList", "type index of a field list expected");
    251. 

  251.     }
    252. 

  252. 

  253.     prop = * (struct C7StructProp *) (TypeString + 8);
    254. 

  254.     if (prop.reserved != 0) {
    255. 

  255.         Warning ("$$TYPES", "Class", "prop", "reserved property bits not 0");
    256. 

  256.     }
    257. 

  257. 

  258.     index = * (ushort *) (TypeString + 11);
    259. 

  259.     if (    index != 0
    260. 

  260.             &&
    261. 

  261.             (index < 512 || GlobalIndexTable[index - 512][3] != OLF_VTSHAPE)) {
    262. 

  262.         Warning ("$$TYPES", "Class", "@vshape", "type index of a VTShape expected");
    263. 

  263.     }
    264. 

  264. }
    265. 

  265. 

  266. LOCAL void VerifyUnion (uchar *TypeString)
    267. 

  267. {
    268. 

  268.     struct C7StructProp prop;
    269. 

  269.     ushort index;
    270. 

  270. 

  271.     index = * (ushort *) (TypeString + 6);
    272. 

  272.     if (index == 0) {
    273. 

  273.         Warning ("$$TYPES", "Union", "@fList", "type index 0");
    274. 

  274.     }
    275. 

  275.     else if (index < 512 || GlobalIndexTable[index - 512][3] != OLF_FIELDLIST) {
    276. 

  276.         Warning ("$$TYPES", "Union", "@fList", "type index of a field list expected");
    277. 

  277.     }
    278. 

  278. 

  279.     prop = * (struct C7StructProp *) (TypeString + 8);
    280. 

  280.     if (prop.reserved != 0) {
    281. 

  281.         Warning ("$$TYPES", "Union", "prop", "reserved property bits not 0");
    282. 

  282.     }
    283. 

  283. }
    284. 

  284. 

  285. LOCAL void VerifyEnum (uchar *TypeString)
    286. 

  286. {
    287. 

  287.     struct C7StructProp prop;
    288. 

  288.     ushort index;
    289. 

  289. 

  290.     index = * (ushort *) (TypeString + 4);
    291. 

  291.     if (index == 0) {
    292. 

  292.         Warning ("$$TYPES", "Enum", "@type", "underlying type index 0");
    293. 

  293.     }
    294. 

  294. 

  295.     index = * (ushort *) (TypeString + 8);
    296. 

  296.     if (index == 0) {
    297. 

  297.         Warning ("$$TYPES", "Union", "@fList", "type index 0");
    298. 

  298.     }
    299. 

  299.     else if (index < 512 || GlobalIndexTable[index - 512][3] != OLF_FIELDLIST) {
    300. 

  300.         Warning ("$$TYPES", "Enum", "@fList",
    301. 

  301.                 "type index of a field list expected");
    302. 

  302.     }
    303. 

  303. 

  304.     prop = * (struct C7StructProp *) (TypeString + 10);
    305. 

  305.     if (prop.reserved != 0) {
    306. 

  306.         Warning ("$$TYPES", "Enum", "prop", "reserved bits not 0");
    307. 

  307.     }
    308. 

  308. }
    309. 

  309. 

  310. LOCAL void VerifyFieldList (uchar *TypeString)
    311. 

  311. {
    312. 

  312.     uchar *Type = TypeString + 4;
    313. 

  313.     uchar *End = TypeString + LENGTH (TypeString) + 3;
    314. 

  314.     uchar *Temp;
    315. 

  315.     struct MemberAttrib attrib;
    316. 

  316.     ushort index;
    317. 

  317. 

  318.     while (Type < End) {
    319. 

  319.         switch (*Type) {
    320. 

  320.         case OLF_MEMBER:
    321. 

  321.             Type++;
    322. 

  322.             attrib = * (struct MemberAttrib *) Type;
    323. 

  323.             if (attrib.access == 0) {
    324. 

  324.                 Warning ("$$TYPES", "Member", "attr", "unknown access");
    325. 

  325.             }
    326. 

  326.             if (attrib.property > 4) {
    327. 

  327.                 Warning ("$$TYPES", "Member", "attr", "unknown property");
    328. 

  328.             }
    329. 

  329.             if (attrib.unused != 0) {
    330. 

  330.                 Warning ("$$TYPES", "Member", "attr", "unused bit not 0");
    331. 

  331.             }
    332. 

  332. 

  333.             Type++;
    334. 

  334.             if (* (ushort *) Type == 0) {
    335. 

  335.                 Warning ("$$TYPES", "Member", "@type", "type index 0");
    336. 

  336.             }
    337. 

  337.             Type += 2;
    338. 

  338.             Type += FarSkipNumericLeaf (Type);
    339. 

  339.             Type += *Type + 1;
    340. 

  340.             break;
    341. 

  341.         case OLF_STATICMEMBER:
    342. 

  342.             Type++;
    343. 

  343.             attrib = * (struct MemberAttrib *) Type;
    344. 

  344.             if (attrib.access == 0) {
    345. 

  345.                 Warning ("$$TYPES", "StaticMember", "attr", "unknown access");
    346. 

  346.             }
    347. 

  347.             if (attrib.property > 4) {
    348. 

  348.                 Warning ("$$TYPES", "StaticMember", "attr", "unknown property");
    349. 

  349.             }
    350. 

  350.             if (attrib.unused != 0) {
    351. 

  351.                 Warning ("$$TYPES", "StaticMember", "attr", "unused bit not 0");
    352. 

  352.             }
    353. 

  353. 

  354.             Type++;
    355. 

  355.             if (* (ushort *) Type == 0) {
    356. 

  356.                 Warning ("$$TYPES", "StaticMember", "@type", "type index 0");
    357. 

  357.             }
    358. 

  358.             Type += 2;
    359. 

  359.             Type += *Type + 1;
    360. 

  360.             break;
    361. 

  361.         case OLF_BASECLASS:
    362. 

  362.             Type++;
    363. 

  363.             attrib = * (struct MemberAttrib *) Type;
    364. 

  364.             if (attrib.access == 0) {
    365. 

  365.                 Warning ("$$TYPES", "BaseClass", "attr", "unknown access");
    366. 

  366.             }
    367. 

  367.             if (attrib.property > 4) {
    368. 

  368.                 Warning ("$$TYPES", "BaseClass", "attr", "unknown property");
    369. 

  369.             }
    370. 

  370.             if (attrib.unused != 0) {
    371. 

  371.                 Warning ("$$TYPES", "BaseClass", "attr", "unused bit not 0");
    372. 

  372.             }
    373. 

  373. 

  374.             Type++;
    375. 

  375.             index = * (ushort *) Type;
    376. 

  376.             if (index == 0) {
    377. 

  377.                 Warning ("$$TYPES", "BaseClass", "@type", "type index 0");
    378. 

  378.             }
    379. 

  379.             else if (index < 512) {
    380. 

  380.                 Warning ("$$TYPES", "BaseClass", "@type",
    381. 

  381.                         "type index of base class expected");
    382. 

  382.             }
    383. 

  383.             else {
    384. 

  384.                 Temp = GlobalIndexTable[index - 512];
    385. 

  385.                 if (Temp[3] != OLF_CLASS && Temp[3] != OLF_C7STRUCTURE) {
    386. 

  386.                     Warning ("$$TYPES", "BaseClass", "@type",
    387. 

  387.                             "type index of base class expected");
    388. 

  388.                 }
    389. 

  389.             }
    390. 

  390.             Type += 2;
    391. 

  391.             Type += FarSkipNumericLeaf (Type);
    392. 

  392.             break;
    393. 

  393.         case OLF_VBCLASS:
    394. 

  394.             Type++;
    395. 

  395.             attrib = * (struct MemberAttrib *) Type;
    396. 

  396.             if (attrib.access == 0) {
    397. 

  397.                 Warning ("$$TYPES", "VirtualBaseClass", "attr", "unknown access");
    398. 

  398.             }
    399. 

  399.             if (attrib.property > 4) {
    400. 

  400.                 Warning ("$$TYPES", "VirtualBaseClass", "attr", "unknown property");
    401. 

  401.             }
    402. 

  402.             if (attrib.unused != 0) {
    403. 

  403.                 Warning ("$$TYPES", "VirtualBaseClass", "attr", "unused bit not 0");
    404. 

  404.             }
    405. 

  405. 

  406.             Type++;
    407. 

  407.             index = * (ushort *) Type;
    408. 

  408.             if (index == 0) {
    409. 

  409.                 Warning ("$$TYPES", "VirtualBaseClass", "@btype", "type index 0");
    410. 

  410.             }
    411. 

  411.             else if (index < 512) {
    412. 

  412.                 Warning ("$$TYPES", "VirtualBaseClass", "@btype",
    413. 

  413.                         "type index of virtual base class expected");
    414. 

  414.             }
    415. 

  415.             else {
    416. 

  416.                 Temp = GlobalIndexTable[index - 512];
    417. 

  417.                 if (Temp[3] != OLF_CLASS && Temp[3] != OLF_C7STRUCTURE) {
    418. 

  418.                     Warning ("$$TYPES", "VirtualBaseClass", "@btype",
    419. 

  419.                             "type index of virtual base class expected");
    420. 

  420.                 }
    421. 

  421.             }
    422. 

  422.             Type += 2;
    423. 

  423.             index = * (ushort *) Type;
    424. 

  424.             if (index == 0) {
    425. 

  425.                 Warning ("$$TYPES", "VirtualBaseClass", "@vbptype", "type index 0");
    426. 

  426.             }
    427. 

  427.             else if (index < 512) {
    428. 

  428.                 Warning ("$$TYPES", "VirtualBaseClass", "@vbptype",
    429. 

  429.                         "type index of virtual base pointer expected");
    430. 

  430.             }
    431. 

  431.             else {
    432. 

  432.                 Temp = GlobalIndexTable[index - 512];
    433. 

  433.                 if (Temp[3] != OLF_CLASS && Temp[3] != OLF_C7PTR) {
    434. 

  434.                     Warning ("$$TYPES", "VirtualBaseClass", "@vbptype",
    435. 

  435.                             "type index of virtual base pointer expected");
    436. 

  436.                 }
    437. 

  437.             }
    438. 

  438.             Type += 2;
    439. 

  439.             Type += FarSkipNumericLeaf (Type);
    440. 

  440.             Type += FarSkipNumericLeaf (Type);
    441. 

  441.             break;
    442. 

  442.         case OLF_IVBCLASS:
    443. 

  443.             Type++;
    444. 

  444.             index = * (ushort *) Type;
    445. 

  445.             if (index == 0) {
    446. 

  446.                 Warning ("$$TYPES", "Indirect VirtualBaseClass", "@btype", "type index 0");
    447. 

  447.             }
    448. 

  448.             else if (index < 512) {
    449. 

  449.                 Warning ("$$TYPES", "Indirect VirtualBaseClass", "@btype",
    450. 

  450.                         "type index of virtual base class expected");
    451. 

  451.             }
    452. 

  452.             else {
    453. 

  453.                 Temp = GlobalIndexTable[index - 512];
    454. 

  454.                 if (Temp[3] != OLF_CLASS && Temp[3] != OLF_C7STRUCTURE) {
    455. 

  455.                     Warning ("$$TYPES", "Indirect VirtualBaseClass", "@btype",
    456. 

  456.                             "type index of virtual base class expected");
    457. 

  457.                 }
    458. 

  458.             }
    459. 

  459.             Type += 2;
    460. 

  460.             break;
    461. 

  461.         case OLF_FRIENDCLASS:
    462. 

  462.             Type++;
    463. 

  463.             index = * (ushort *) Type;
    464. 

  464.             if (index == 0) {
    465. 

  465.                 Warning ("$$TYPES", "FriendClass", "@type", "type index 0");
    466. 

  466.             }
    467. 

  467.             else if (index < 512) {
    468. 

  468.                 Warning ("$$TYPES", "FriendClass", "@type",
    469. 

  469.                         "type index of friend class expected");
    470. 

  470.             }
    471. 

  471.             else {
    472. 

  472.                 Temp = GlobalIndexTable[index - 512];
    473. 

  473.                 if (Temp[3] != OLF_CLASS && Temp[3] != OLF_C7STRUCTURE) {
    474. 

  474.                     Warning ("$$TYPES", "FriendClass", "@type",
    475. 

  475.                             "type index of friend class expected");
    476. 

  476.                 }
    477. 

  477.             }
    478. 

  478.             Type += 2;
    479. 

  479.             break;
    480. 

  480.         case OLF_VTABPTR:
    481. 

  481.             Type++;
    482. 

  482.             index = * (ushort *) Type;
    483. 

  483.             if (index == 0) {
    484. 

  484.                 Warning ("$$TYPES", "VFuncTabPtr", "@type", "type index 0");
    485. 

  485.             }
    486. 

  486.             else if (index < 512) {
    487. 

  487.                 Warning ("$$TYPES", "VFuncTabPtr", "@type",
    488. 

  488.                         "type index of a C7Ptr expected");
    489. 

  489.             }
    490. 

  490.             else {
    491. 

  491.                 Temp = GlobalIndexTable[index - 512];
    492. 

  492.                 if (Temp[3] != OLF_C7PTR) {
    493. 

  493.                     Warning ("$$TYPES", "VFuncTabPtr", "@type",
    494. 

  494.                             "type index of a C7Ptr expected");
    495. 

  495.                 }
    496. 

  496.                 else {
    497. 

  497.                     index = * (ushort *) (Temp + 6);
    498. 

  498.                     if (index == 0) {
    499. 

  499.                         Warning ("$$TYPES", "VFuncTabPtr", "@type",
    500. 

  500.                                 "type index 0");
    501. 

  501.                     }
    502. 

  502.                     else if (index < 512) {
    503. 

  503.                         Warning ("$$TYPES", "VFuncTabPtr", "@type",
    504. 

  504.                                 "type index of a VTShape expected");
    505. 

  505.                     }
    506. 

  506.                     else {
    507. 

  507.                         Temp = GlobalIndexTable[index - 512];
    508. 

  508.                         if (Temp[3] != OLF_VTSHAPE) {
    509. 

  509.                             Warning ("$$TYPES", "VFuncTabPtr", "@type",
    510. 

  510.                                     "type index of a VTShape expected");
    511. 

  511.                         }
    512. 

  512.                     }
    513. 

  513.                 }
    514. 

  514.             }
    515. 

  515.             Type += 2;
    516. 

  516.             break;
    517. 

  517.         case OLF_VBASETABPTR:
    518. 

  518.             Type++;
    519. 

  519.             index = * (ushort *) Type;
    520. 

  520.             if (index == 0) {
    521. 

  521.                 Warning ("$$TYPES", "VBaseTabPtr", "@type", "type index 0");
    522. 

  522.             }
    523. 

  523.             else if (index < 512) {
    524. 

  524.                 Warning ("$$TYPES", "VBaseTabPtr", "@type",
    525. 

  525.                         "type index of a C7Ptr expected");
    526. 

  526.             }
    527. 

  527.             else {
    528. 

  528.                 Temp = GlobalIndexTable[index - 512];
    529. 

  529.                 if (Temp[3] != OLF_C7PTR) {
    530. 

  530.                     Warning ("$$TYPES", "VBaseTabPtr", "@type",
    531. 

  531.                         "type index of a C7Ptr expected");
    532. 

  532.                 }
    533. 

  533.                 else {
    534. 

  534.                     index = * (ushort *) (Temp + 6);
    535. 

  535.                     if (index == 0) {
    536. 

  536.                         Warning ("$$TYPES", "VBaseTabPtr", "@type",
    537. 

  537.                                 "type index 0");
    538. 

  538.                     }
    539. 

  539.                     else if (index < 512) {
    540. 

  540.                         Warning ("$$TYPES", "VBaseTabPtr", "@type",
    541. 

  541.                                 "type index of a VTShape expected");
    542. 

  542.                     }
    543. 

  543.                     else {
    544. 

  544.                         Temp = GlobalIndexTable[index - 512];
    545. 

  545.                         if (Temp[3] != OLF_VTSHAPE) {
    546. 

  546.                             Warning ("$$TYPES", "VBaseTabPtr", "@type",
    547. 

  547.                                     "type index of a VTShape expected");
    548. 

  548.                         }
    549. 

  549.                     }
    550. 

  550.                 }
    551. 

  551.             }
    552. 

  552.             Type += 2;
    553. 

  553.             Type += FarSkipNumericLeaf (Type);
    554. 

  554.             break;
    555. 

  555.         case OLF_METHOD:
    556. 

  556.             Type += 3;
    557. 

  557.             index = * (ushort *) Type;
    558. 

  558.             if (index == 0) {
    559. 

  559.                 Warning ("$$TYPES", "Method", "@type", "type index 0");
    560. 

  560.             }
    561. 

  561.             else if (index < 512 || GlobalIndexTable[index - 512][3] != OLF_METHODLIST) {
    562. 

  562.                 Warning ("$$TYPES", "Method", "@type",
    563. 

  563.                         "type index of a method list expected");
    564. 

  564.             }
    565. 

  565.             Type += 2;
    566. 

  566.             Type += *Type + 1;
    567. 

  567.             break;
    568. 

  568.         case OLF_ENUMERATE:
    569. 

  569.             Type++;
    570. 

  570.             attrib = * (struct MemberAttrib *) Type;
    571. 

  571.             if (attrib.access == 0) {
    572. 

  572.                 Warning ("$$TYPES", "Enumerate", "attr", "unknown access");
    573. 

  573.             }
    574. 

  574.             if (attrib.property > 4) {
    575. 

  575.                 Warning ("$$TYPES", "Enumerate", "attr", "unknown property");
    576. 

  576.             }
    577. 

  577.             if (attrib.unused != 0) {
    578. 

  578.                 Warning ("$$TYPES", "Enumerate", "attr", "unused bit not 0");
    579. 

  579.             }
    580. 

  580.             Type ++;
    581. 

  581.             Type += FarSkipNumericLeaf (Type);
    582. 

  582.             Type += *Type + 1;
    583. 

  583.             break;
    584. 

  584.         case OLF_NESTEDTYPE:
    585. 

  585.             Type++;
    586. 

  586.             index = * (ushort *) Type;
    587. 

  587.             if (index == 0) {
    588. 

  588.                 Warning ("$$TYPES", "NestedTypeDefinition", "index", "type index 0");
    589. 

  589.             }
    590. 

  590.             Type += 2;
    591. 

  591.             Type += *Type + 1;
    592. 

  592.             break;
    593. 

  593.         default:
    594. 

  594.             Warning ("$$TYPES", "FieldList", "", "unknown field entry");
    595. 

  595.             Type++; // why not?
    596. 

  596.             break;
    597. 

  597.         }
    598. 

  598.     }
    599. 

  599. }
    600. 

  600. 

  601. LOCAL void VerifyArgList (uchar *TypeString)
    602. 

  602. {
    603. 

  603.     uchar *Type = TypeString + 4;
    604. 

  604.     uchar *End = TypeString + LENGTH (TypeString) + 3;
    605. 

  605. 

  606.     while (Type < End) {
    607. 

  607.         switch (*Type) {
    608. 

  608.         case OLF_INDEX:
    609. 

  609.             Type++;
    610. 

  610.             if (* (ushort *) Type == 0) {
    611. 

  611.                 Warning ("$$TYPES", "ArgList - index leaf", "index", "type index 0");
    612. 

  612.             }
    613. 

  613.             Type += 2;
    614. 

  614.             break;
    615. 

  615.         case OLF_DEFARG:
    616. 

  616.             Type++;
    617. 

  617.             if (* (ushort *) Type == 0) {
    618. 

  618.                 Warning ("$$TYPES", "ArgList - DEFARG", "index", "type index 0");
    619. 

  619.             }
    620. 

  620.             Type += 2;
    621. 

  621.             Type += *Type + 1;
    622. 

  622.             break;
    623. 

  623.         default:
    624. 

  624.             Warning ("$$TYPES", "ArgList", "", "unknown entry");
    625. 

  625.             break;
    626. 

  626.         }
    627. 

  627.     }
    628. 

  628. }
    629. 

  629. 

  630. LOCAL void VerifyMethodList (uchar *TypeString)
    631. 

  631. {
    632. 

  632.     uchar *Type = TypeString + 4;
    633. 

  633.     uchar *End = TypeString + LENGTH (TypeString) + 3;
    634. 

  634.     struct MListAttrib attrib;
    635. 

  635.     ushort index;
    636. 

  636. 

  637.     while (Type < End) {
    638. 

  638.         attrib = * (struct MListAttrib *) Type;
    639. 

  639.         if (attrib.access == 0) {
    640. 

  640.             Warning ("$$TYPES", "mList", "attr", "unknown access");
    641. 

  641.         }
    642. 

  642.         if (attrib.property > 4) {
    643. 

  643.             Warning ("$$TYPES", "mList", "attr", "unknown property");
    644. 

  644.         }
    645. 

  645.         if (attrib.unused != 0) {
    646. 

  646.             Warning ("$$TYPES", "mList", "attr", "unused bit not 0");
    647. 

  647.         }
    648. 

  648. 

  649.         Type++;
    650. 

  650.         index = * (ushort *) Type;
    651. 

  651.         if (index == 0) {
    652. 

  652.             Warning ("$$TYPES", "mList", "@type", "type index 0");
    653. 

  653.         }
    654. 

  654.         else if (index < 512 || GlobalIndexTable[index - 512][3] != OLF_MEMBERFUNC) {
    655. 

  655.             Warning ("$$TYPES", "mLists", "@type",
    656. 

  656.                     "type index of procedure expected");
    657. 

  657.         }
    658. 

  658. 

  659.         Type += 2;
    660. 

  660.         if (attrib.property == 4) {
    661. 

  661.             Type += FarSkipNumericLeaf (Type);
    662. 

  662.         }
    663. 

  663.     }
    664. 

  664. }
    665. 

  665. 

  666. LOCAL void VerifyProcedure (uchar *TypeString)
    667. 

  667. {
    668. 

  668.     ushort index;
    669. 

  669. 

  670.     if (* (ushort *) (TypeString + 6) == 0) {
    671. 

  671.         Warning ("$$TYPES", "Procedure", "@rvtype", "type index 0");
    672. 

  672.     }
    673. 

  673.     if (    TypeString[8] != 0x63 &&        // C
    674. 

  674.             TypeString[8] != 0x64 &&        // C long
    675. 

  675.             TypeString[8] != 0x73 &&        // PLM long
    676. 

  676.             TypeString[8] != 0x74 &&        // PLM short
    677. 

  677.             TypeString[8] != 0x95 &&        // NEAR FASTCALL
    678. 

  678.             TypeString[8] != 0x96 &&        // FAR FASTCALL
    679. 

  679.             TypeString[8] != 0x97           // PCODE
    680. 

  680.     ) {
    681. 

  681.         Warning ("$$TYPES", "Procedure", "calling", "unknown calling convention");
    682. 

  682.     }
    683. 

  683.     index = * (ushort *)
    684. 

  684.             (TypeString + 9 + FarSkipNumericLeaf (TypeString + 9) + 1);
    685. 

  685.     if (index == 0) {
    686. 

  686.         Warning ("$$TYPES", "Procedure", "@list", "type index 0");
    687. 

  687.     }
    688. 

  688.     else if (index < 512) {
    689. 

  689.         if (index != 0x9c) { // not void
    690. 

  690.             Warning ("$$TYPES", "Procedure", "@list",
    691. 

  691.                     "type index of an argument list expected");
    692. 

  692.         }
    693. 

  693.     }
    694. 

  694.     else if (GlobalIndexTable[index - 512][3] != OLF_ARGLIST) {
    695. 

  695.         Warning ("$$TYPES", "Procedure", "@list",
    696. 

  696.                 "type index of an argument list expected");
    697. 

  697.     }
    698. 

  698. }
    699. 

  699. 

  700. LOCAL void VerifyMemberFunction (uchar *TypeString)
    701. 

  701. {
    702. 

  702.     ushort index;
    703. 

  703.     uchar *Temp;
    704. 

  704. 

  705.     TypeString += 4;
    706. 

  706.     if (* (ushort *) TypeString == 0) {
    707. 

  707.         Warning ("$$TYPES", "MemberFunction", "@rvtype", "type index 0");
    708. 

  708.     }
    709. 

  709.     TypeString += 2;
    710. 

  710.     index = * (ushort *) TypeString;
    711. 

  711.     if (index == 0) {
    712. 

  712.         Warning ("$$TYPES", "MemberFunction", "@class", "type index 0");
    713. 

  713.     }
    714. 

  714.     else if (index < 512) {
    715. 

  715.         Warning ("$$TYPES", "MemberFunction", "@class",
    716. 

  716.                 "type index of containing class expected");
    717. 

  717.     }
    718. 

  718.     else {
    719. 

  719.         Temp = GlobalIndexTable[index - 512];
    720. 

  720.         if (Temp[3] != OLF_CLASS && Temp[3] != OLF_C7STRUCTURE) {
    721. 

  721.             Warning ("$$TYPES", "MemberFunction", "@class",
    722. 

  722.                     "type index of containing class expected");
    723. 

  723.         }
    724. 

  724.     }
    725. 

  725.     TypeString += 2;
    726. 

  726.     if (* (ushort *) TypeString == 0) {
    727. 

  727.         Warning ("$$TYPES", "MemberFunction", "@this", "type index 0");
    728. 

  728.     }
    729. 

  729.     TypeString += 2;
    730. 

  730.     if (    *TypeString != 0x63 &&      // C
    731. 

  731.             *TypeString != 0x64 &&      // C long
    732. 

  732.             *TypeString != 0x73 &&      // PLM long
    733. 

  733.             *TypeString != 0x74 &&      // PLM short
    734. 

  734.             *TypeString != 0x95 &&      // NEAR FASTCALL
    735. 

  735.             *TypeString != 0x96 &&      // FAR FASTCALL
    736. 

  736.             *TypeString != 0x97         // PCODE
    737. 

  737.     ) {
    738. 

  738.         Warning ("$$TYPES", "MemberFunction", "calling", "unknown calling convention");
    739. 

  739.     }
    740. 

  740.     TypeString++;
    741. 

  741.     TypeString += FarSkipNumericLeaf (TypeString);
    742. 

  742.     TypeString += FarSkipNumericLeaf (TypeString);
    743. 

  743.     index = * (ushort *) TypeString;
    744. 

  744.     if (index == 0) {
    745. 

  745.         Warning ("$$TYPES", "Procedure", "@list", "type index 0");
    746. 

  746.     }
    747. 

  747.     else if (index < 512) {
    748. 

  748.         if (index != 0x9c) { // not void
    749. 

  749.             Warning ("$$TYPES", "MemberFunction", "@list",
    750. 

  750.                     "type index of an argument list expected");
    751. 

  751.         }
    752. 

  752.     }
    753. 

  753.     else if (GlobalIndexTable[index - 512][3] != OLF_ARGLIST) {
    754. 

  754.         Warning ("$$TYPES", "MemberFunction", "@list",
    755. 

  755.                 "type index of an argument list expected");
    756. 

  756.     }
    757. 

  757. }
    758. 

  758. 

  759. LOCAL void VerifyArray (uchar *TypeString)
    760. 

  760. {
    761. 

  761.     uchar *Type = TypeString;
    762. 

  762. 

  763.     Type += 4;
    764. 

  764.     Type += FarSkipNumericLeaf (Type);
    765. 

  765.     Type++;
    766. 

  766.     if (* (ushort *) Type == 0) {
    767. 

  767.         Warning ("$$TYPES", "Array", "@elem_type", "type index 0");
    768. 

  768.     }
    769. 

  769.     Type += 2;
    770. 

  770.     if (    Type < TypeString + LENGTH (TypeString) + 3
    771. 

  771.             && 
    772. 

  772.             *Type == OLF_INDEX
    773. 

  773.             &&
    774. 

  774.             * (ushort *) (Type + 1) == 0) {
    775. 

  775.         Warning ("$$TYPES", "Array", "@idx_type", "type index 0");
    776. 

  776.     }
    777. 

  777. }
    778. 

  778. 

  779. LOCAL void VerifyBasicArray (uchar *TypeString)
    780. 

  780. {
    781. 

  781.     if (* (ushort *) (TypeString + 5) == 0) {
    782. 

  782.         Warning ("$$TYPES", "BasicArray", "@elem_type", "type index 0");
    783. 

  783.     }
    784. 

  784. }
    785. 

  785. 

  786. LOCAL void VerifyModifier (uchar *TypeString)
    787. 

  787. {
    788. 

  788.     if (TypeString[4] != 1 && TypeString[4] != 2) {
    789. 

  789.         Warning ("$$TYPES", "Modifier", "attribute", "unknown attribute");
    790. 

  790.     }
    791. 

  791.     if (* (ushort *) (TypeString + 5) == 0) {
    792. 

  792.         Warning ("$$TYPES", "Modifier", "@type", "type index 0");
    793. 

  793.     }
    794. 

  794. }
    795. 

  795. 

  796. LOCAL void VerifyCobolTypeRef (uchar *TypeString)
    797. 

  797. {
    798. 

  798.     if (* (ushort *) (TypeString + 4) == 0) {
    799. 

  799.         Warning ("$$TYPES", "CobolTypeRef", "@type", "type index 0");
    800. 

  800.     }
    801. 

  801. }
    802. 

  802. 

  803. LOCAL void VerifyVTShape (uchar *TypeString)
    804. 

  804. {
    805. 

  805.     ushort count = * (ushort *) (TypeString + 4);
    806. 

  806.     uchar *Type = TypeString + 6;
    807. 

  807.     ushort i;
    808. 

  808. 

  809.     for (i = 0; i < count; i++) {
    810. 

  810.         if (i % 2 == 0) {
    811. 

  811.             if (*Type & 0xf0 > 4) {
    812. 

  812.                 Warning ("$$TYPES", "VTShape", "descriptor", "unknown descriptor");
    813. 

  813.             }
    814. 

  814.         }
    815. 

  815.         else {
    816. 

  816.             if (*Type++ & 0x0f > 4) {
    817. 

  817.                 Warning ("$$TYPES", "VTShape", "descriptor", "unknown descriptor");
    818. 

  818.             }
    819. 

  819.         }
    820. 

  820.     }
    821. 

  821. }
    822. 

  822. 

  823. LOCAL void VerifyBPRelative (uchar *Symbols)
    824. 

  824. {
    825. 

  825.     VerifyIndex (Symbols, (ushort)(2 + AddrSize), "BP relative");
    826. 

  826. }
    827. 

  827. 

  828. LOCAL void VerifyData (uchar *Symbols)
    829. 

  829. {
    830. 

  830.     VerifyIndex (Symbols, (ushort)(4 + AddrSize), "Data");
    831. 

  831. }
    832. 

  832. 

  833. LOCAL void VerifyRegister (uchar *Symbols)
    834. 

  834. {
    835. 

  835.     uchar reg;
    836. 

  836. 

  837.     VerifyIndex (Symbols, 2, "Register");
    838. 

  838. 

  839.     reg = Symbols[4];
    840. 

  840.     if (reg > 29 && reg < 32 || reg > 35 && reg < 40 ||
    841. 

  841.             reg > 47 && reg < 128 || reg > 135) {
    842. 

  842.         Warning ("$$SYMBOLS", "Register", "register", "unknown register");
    843. 

  843.     }
    844. 

  844. }
    845. 

  845. 

  846. LOCAL void VerifyConstant (uchar *Symbols)
    847. 

  847. {
    848. 

  848.     VerifyIndex (Symbols, 2, "Constant");
    849. 

  849. }
    850. 

  850. 

  851. LOCAL void VerifyTypedef (uchar *Symbols)
    852. 

  852. {
    853. 

  853.     VerifyIndex (Symbols, 2, "Typedef");
    854. 

  854. }
    855. 

  855. 

  856. LOCAL void VerifyProc (uchar *Symbols)
    857. 

  857. {
    858. 

  858.     uchar rtntyp;
    859. 

  859. 

  860.     VerifyIndex (Symbols, (ushort)(16 + AddrSize), "Proc");
    861. 

  861.     rtntyp = Symbols[18 + 4 * AddrSize];
    862. 

  862.     if (rtntyp != 0 && rtntyp != 4) {
    863. 

  863.         Warning ("$$SYMBOLS", "Proc", "return type", "unknown return type");
    864. 

  864.     }
    865. 

  865. }
    866. 

  866. 

  867. LOCAL void VerifyThunk (uchar *Symbols)
    868. 

  868. {
    869. 

  869.     if (Symbols[14] > 2) {
    870. 

  870.         Warning ("$$SYMBOLS", "Thunk", "ord", "unknown ordinal");
    871. 

  871.     }
    872. 

  872. }
    873. 

  873. 

  874. LOCAL void VerifyCodeLabel (uchar *Symbols)
    875. 

  875. {
    876. 

  876.     uchar labtyp;
    877. 

  877. 

  878.     labtyp = Symbols[4 + AddrSize];
    879. 

  879.     if (labtyp != 0 && labtyp != 4) {
    880. 

  880.         Warning ("$$SYMBOLS", "Code label", "label type", "unknown label type");
    881. 

  881.     }
    882. 

  882. }
    883. 

  883. 

  884. LOCAL void VerifyCompileFlag (uchar *Symbols)
    885. 

  885. {
    886. 

  886.     ushort flags;
    887. 

  887. 

  888. 

  889.     flags = * (ushort *) (Symbols + 2);
    890. 

  890. 

  891.     if ( (flags & 0xf000) >> 12 > 6) {
    892. 

  892.         Warning ("$$SYMBOLS", "Compile flag", "language", "unknown language");
    893. 

  893.     }
    894. 

  894.     if ( (flags & 0x0f00) >> 8 > 4) {
    895. 

  895.         Warning ("$$SYMBOLS", "Compile flag", "target processor", "unknown target processor");
    896. 

  896.     }
    897. 

  897.     if ( (flags & 0x0060) >> 5 > 2) {
    898. 

  898.         Warning ("$$SYMBOLS", "Compile flag", "float package", "float package");
    899. 

  899.     }
    900. 

  900.     if ( (flags & 0x0018) >> 3 > 2) {
    901. 

  901.         Warning ("$$SYMBOLS", "Compile flag", "ambient data", "unknown ambient data");
    902. 

  902.     }
    903. 

  903.     if ( (flags & 0x0006) >> 1 > 2) {
    904. 

  904.         Warning ("$$SYMBOLS", "Compile flag", "ambient code", "unknown ambient code");
    905. 

  905.     }
    906. 

  906. }
    907. 

  907. 

  908. LOCAL void VerifyIndex (uchar *Symbols, ushort offset, char *type)
    909. 

  909. {
    910. 

  910.     ushort index;
    911. 

  911. 

  912.     index = * (ushort *) (Symbols + offset);
    913. 

  913.     if (index == 0) {
    914. 

  914.         Warning ("$$SYMBOLS", type, "type index", "type index 0");
    915. 

  915.     }
    916. 

  916.     else if (index >= NewIndex) {
    917. 

  917.         Warning ("$$SYMBOLS", type, "type index", "invalid type index");
    918. 

  918.     }
    919. 

  919. }
    920.