| 338 | } |
| 339 | |
| 340 | void BfMethodState::ApplyDeferredLocalAssignData(const BfDeferredLocalAssignData& deferredLocalAssignData) |
| 341 | { |
| 342 | BF_ASSERT(&deferredLocalAssignData != mDeferredLocalAssignData); |
| 343 | |
| 344 | if (deferredLocalAssignData.mLeftBlockUncond) |
| 345 | { |
| 346 | for (int localIdx = 0; localIdx < (int)mLocals.size(); localIdx++) |
| 347 | { |
| 348 | auto localDef = mLocals[localIdx]; |
| 349 | if (localDef->mAssignedKind == BfLocalVarAssignKind_None) |
| 350 | { |
| 351 | bool hadAssignment = false; |
| 352 | if (mDeferredLocalAssignData != NULL) |
| 353 | { |
| 354 | for (auto& entry : mDeferredLocalAssignData->mAssignedLocals) |
| 355 | if (entry.mLocalVar == localDef) |
| 356 | hadAssignment = true; |
| 357 | } |
| 358 | if (!hadAssignment) |
| 359 | { |
| 360 | LocalDefined(localDef); |
| 361 | } |
| 362 | } |
| 363 | } |
| 364 | } |
| 365 | else |
| 366 | { |
| 367 | for (auto& assignedLocal : deferredLocalAssignData.mAssignedLocals) |
| 368 | { |
| 369 | LocalDefined(assignedLocal.mLocalVar, assignedLocal.mLocalVarField, assignedLocal.mAssignKind, true); |
| 370 | } |
| 371 | } |
| 372 | } |
| 373 | |
| 374 | void BfMethodState::Reset() |
| 375 | { |
no test coverage detected