diff options
| author | Mike Pall <mike> | 2020-06-13 00:52:54 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2020-06-15 02:52:00 +0200 |
| commit | 8ae5170cdc9c307bd81019b3e014391c9fd00581 (patch) | |
| tree | ccf9f17035d0754c1758faee209e9a26b4e03418 /src/lj_buf.c | |
| parent | 8b55054473452963f24b01efb7c4cc72497c74ec (diff) | |
| download | luajit-8ae5170cdc9c307bd81019b3e014391c9fd00581.tar.gz luajit-8ae5170cdc9c307bd81019b3e014391c9fd00581.tar.bz2 luajit-8ae5170cdc9c307bd81019b3e014391c9fd00581.zip | |
Improve assertions.
Diffstat (limited to 'src/lj_buf.c')
| -rw-r--r-- | src/lj_buf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lj_buf.c b/src/lj_buf.c index c8778016..935ae488 100644 --- a/src/lj_buf.c +++ b/src/lj_buf.c | |||
| @@ -30,7 +30,7 @@ static void buf_grow(SBuf *sb, MSize sz) | |||
| 30 | 30 | ||
| 31 | LJ_NOINLINE char *LJ_FASTCALL lj_buf_need2(SBuf *sb, MSize sz) | 31 | LJ_NOINLINE char *LJ_FASTCALL lj_buf_need2(SBuf *sb, MSize sz) |
| 32 | { | 32 | { |
| 33 | lua_assert(sz > sbufsz(sb)); | 33 | lj_assertG_(G(sbufL(sb)), sz > sbufsz(sb), "SBuf overflow"); |
| 34 | if (LJ_UNLIKELY(sz > LJ_MAX_BUF)) | 34 | if (LJ_UNLIKELY(sz > LJ_MAX_BUF)) |
| 35 | lj_err_mem(sbufL(sb)); | 35 | lj_err_mem(sbufL(sb)); |
| 36 | buf_grow(sb, sz); | 36 | buf_grow(sb, sz); |
| @@ -40,7 +40,7 @@ LJ_NOINLINE char *LJ_FASTCALL lj_buf_need2(SBuf *sb, MSize sz) | |||
| 40 | LJ_NOINLINE char *LJ_FASTCALL lj_buf_more2(SBuf *sb, MSize sz) | 40 | LJ_NOINLINE char *LJ_FASTCALL lj_buf_more2(SBuf *sb, MSize sz) |
| 41 | { | 41 | { |
| 42 | MSize len = sbuflen(sb); | 42 | MSize len = sbuflen(sb); |
| 43 | lua_assert(sz > sbufleft(sb)); | 43 | lj_assertG_(G(sbufL(sb)), sz > sbufleft(sb), "SBuf overflow"); |
| 44 | if (LJ_UNLIKELY(sz > LJ_MAX_BUF || len + sz > LJ_MAX_BUF)) | 44 | if (LJ_UNLIKELY(sz > LJ_MAX_BUF || len + sz > LJ_MAX_BUF)) |
| 45 | lj_err_mem(sbufL(sb)); | 45 | lj_err_mem(sbufL(sb)); |
| 46 | buf_grow(sb, len + sz); | 46 | buf_grow(sb, len + sz); |