Changeset 3ff4c1e for src/SymTab/Validate.cc
- Timestamp:
- Nov 10, 2020, 3:15:56 AM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 1b5c3d60, cdacb73
- Parents:
- 0dd9a5e
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/SymTab/Validate.cc
r0dd9a5e r3ff4c1e 282 282 283 283 void previsit( ObjectDecl * objDecl ); 284 //void previsit( ArrayType * arrayType );284 void previsit( ArrayType * arrayType ); 285 285 }; 286 286 … … 1346 1346 } 1347 1347 1348 // xxx - this seems to be in HoistArrayDimension now.1349 1350 /*1351 1348 void ArrayLength::previsit( ArrayType * type ) { 1352 if ( type->dimension ) { 1353 // need to resolve array dimensions early so that constructor code can correctly determine 1354 // if a type is a VLA (and hence whether its elements need to be constructed) 1355 ResolvExpr::findSingleExpression( type->dimension, Validate::SizeType->clone(), indexer ); 1356 1357 // must re-evaluate whether a type is a VLA, now that more information is available 1358 // (e.g. the dimension may have been an enumerator, which was unknown prior to this step) 1359 type->isVarLen = ! InitTweak::isConstExpr( type->dimension ); 1360 } 1361 } 1362 */ 1349 if (!useNewAST) { 1350 if ( type->dimension ) { 1351 // need to resolve array dimensions early so that constructor code can correctly determine 1352 // if a type is a VLA (and hence whether its elements need to be constructed) 1353 ResolvExpr::findSingleExpression( type->dimension, Validate::SizeType->clone(), indexer ); 1354 1355 // must re-evaluate whether a type is a VLA, now that more information is available 1356 // (e.g. the dimension may have been an enumerator, which was unknown prior to this step) 1357 type->isVarLen = ! InitTweak::isConstExpr( type->dimension ); 1358 } 1359 } 1360 } 1363 1361 1364 1362 struct LabelFinder {
Note: See TracChangeset
for help on using the changeset viewer.