d0p1/tcc-stupidos
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

bcheck: access fields of local structs w/o bcheck

Browse source 
Revert previous commit, this is probably a better fix.
This commit is contained in:
Pavlas, Zdenek 2016-11-10 05:05:47 -08:00
parent 550e861bf7
commit 7e7f2e5d1b
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tccgen.c
View file

@ -4488,7 +4488,7 @@ ST_FUNC void unary(void)
vtop->r |= lvalue_type(vtop->type.t); vtop->r |= lvalue_type(vtop->type.t);
#ifdef CONFIG_TCC_BCHECK #ifdef CONFIG_TCC_BCHECK
/* if bound checking, the referenced pointer must be checked */ /* if bound checking, the referenced pointer must be checked */
if (tcc_state->do_bounds_check) if (tcc_state->do_bounds_check && (vtop->r & VT_VALMASK) != VT_LOCAL)
vtop->r |= VT_MUSTBOUND; vtop->r |= VT_MUSTBOUND;
#endif #endif
} }
@ -6234,7 +6234,7 @@ static void decl_initializer_alloc(CType *type, AttributeDef *ad, int r,
if ((r & VT_VALMASK) == VT_LOCAL) { if ((r & VT_VALMASK) == VT_LOCAL) {
sec = NULL; sec = NULL;
#ifdef CONFIG_TCC_BCHECK #ifdef CONFIG_TCC_BCHECK
if (tcc_state->do_bounds_check && ((type->t & VT_ARRAY) || (type->t & VT_BTYPE) == VT_STRUCT)) { if (tcc_state->do_bounds_check && (type->t & VT_ARRAY)) {
loc--; loc--;
} }
#endif #endif
@ -6244,7 +6244,7 @@ static void decl_initializer_alloc(CType *type, AttributeDef *ad, int r,
/* handles bounds */ /* handles bounds */
/* XXX: currently, since we do only one pass, we cannot track /* XXX: currently, since we do only one pass, we cannot track
'&' operators, so we add only arrays */ '&' operators, so we add only arrays */
if (tcc_state->do_bounds_check && ((type->t & VT_ARRAY) || (type->t & VT_BTYPE) == VT_STRUCT)) { if (tcc_state->do_bounds_check && (type->t & VT_ARRAY)) {
addr_t *bounds_ptr; addr_t *bounds_ptr;
/* add padding between regions */ /* add padding between regions */
loc--; loc--;