| /* |
| * 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 a procedure a |
| * negative number, which the front end must reject. |
| * |
| * Expected diagnostic: |
| * negative procedure number -5 in version 'BADVERS' |
| * |
| * The tests directory has no automated runner; exercise by hand: |
| * ./xdrgen definitions tests/bad-procedure-number-negative.x (must fail) |
| */ |
| |
| program BADPROG { |
| version BADVERS { |
| void BADPROC_NULL(void) = 0; |
| void BADPROC_FOO(void) = -5; |
| } = 1; |
| } = 100000; |