suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix condition to avoid undef behaviour

Browse Source 
Coverity scan uncovered an issue where by if `p == 31`, the following shift `1 << (p + 1)` will cause undefined behaviour.
This commit is contained in:
Paulo Matos 2018-09-21 17:00:20 +02:00 committed by Matthew Flatt
parent 0ceb67ebc6
commit 49d31414b7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/src/racket/src/validate.c
View File

@ -1210,7 +1210,7 @@ static int validate_expr(Mz_CPort *port, Scheme_Object *expr,
if (tl_use_map) {
if ((uintptr_t)tl_use_map & 0x1) {
if (p > 31)
if (p >= 31)
scheme_ill_formed_code(port);
if (!((uintptr_t)tl_use_map & ((unsigned int)1 << (p + 1))))
scheme_ill_formed_code(port);