| /* | |
| * NEGATIVE TEST CASE -- xdrgen must REJECT this specification. | |
| * | |
| * RFC 5531 assigns only unsigned constants to program, version, and | |
| * procedure numbers (Section 12.3). This spec gives the program a | |
| * negative number, which the front end must reject. | |
| * | |
| * Expected diagnostic: | |
| * negative program number -100000 in program 'BADPROG' | |
| * | |
| * The tests directory has no automated runner; exercise by hand: | |
| * ./xdrgen definitions tests/bad-program-number-negative.x (must fail) | |
| */ | |
| program BADPROG { | |
| version BADVERS { | |
| void BADPROC_NULL(void) = 0; | |
| } = 1; | |
| } = -100000; |