mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-18 14:49:02 +00:00
Code Activity

read_ilang: detect overflow of integer literals.

Browse source
This commit is contained in:
whitequark 2020-04-06 10:32:02 +00:00
parent cf716e1fff
commit ca70a1049f
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
frontends/ilang/ilang_lexer.l
View file

@ -29,6 +29,7 @@
#pragma clang diagnostic ignored "-Wdeprecated-register" #pragma clang diagnostic ignored "-Wdeprecated-register"
#endif #endif
#include <cstdlib>
#include "frontends/ilang/ilang_frontend.h" #include "frontends/ilang/ilang_frontend.h"
#include "ilang_parser.tab.hh" #include "ilang_parser.tab.hh"
@ -88,7 +89,16 @@ USING_YOSYS_NAMESPACE
"."[0-9]+ { rtlil_frontend_ilang_yylval.string = strdup(yytext); return TOK_ID; } "."[0-9]+ { rtlil_frontend_ilang_yylval.string = strdup(yytext); return TOK_ID; }
[0-9]+'[01xzm-]* { rtlil_frontend_ilang_yylval.string = strdup(yytext); return TOK_VALUE; } [0-9]+'[01xzm-]* { rtlil_frontend_ilang_yylval.string = strdup(yytext); return TOK_VALUE; }
-?[0-9]+ { rtlil_frontend_ilang_yylval.integer = atoi(yytext); return TOK_INT; } -?[0-9]+ {
char *end = NULL;
long value = strtol(yytext, &end, 10);
if (end != yytext + strlen(yytext))
return TOK_INVALID; // literal out of range of long
if (value < INT_MIN || value > INT_MAX)
return TOK_INVALID; // literal out of range of int (relevant mostly for LP64 platforms)
rtlil_frontend_ilang_yylval.integer = value;
return TOK_INT;
}
\" { BEGIN(STRING); } \" { BEGIN(STRING); }
<STRING>\\. { yymore(); } <STRING>\\. { yymore(); }