Repository navigation
Commit b300cb2
committed
Pin the other direction of the moved overflow boundary
The vendored range check moved in both directions, and only the direction that
starts refusing values had a test. Cover the quiet one: filling an int8 tensor with
127.5 used to be refused and now stores 127.
Test Plan:
Compiled the real header from before and after this change into the same probe and
ran both. Before: 127.5 into int8 and 255.5 into uint8 both report overflow, and 2^63
into int64 is accepted. After: the first two are accepted and 2^63 overflows. So the
boundary moved both ways, and the case added here fails against the previous header
rather than passing either way.
Placed in this file rather than the shared macro because the macro expands into eight
suites, and several of them reach the scalar through a path that rejects a fractional
value before any range check, where the case would not measure what it claims.1 parent d53ec66 commit b300cb2
1 file changed
Lines changed: 13 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
84 | 84 | | |
85 | 85 | | |
86 | 86 | | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
87 | 100 | | |
88 | 101 | | |
89 | 102 | | |
| |||
0 commit comments