SageInterface::normalizeCaseAndDefaultBlocks
Normalize the structure of case and default blocks within a switch statement.
Synopsis
Declared in <SageIII/sageInterface/sageInterface.h>
[[visibility]]
bool
normalizeCaseAndDefaultBlocks(SgSwitchStatement* switchStmt);Description
This function examines the body of a given SgSwitchStatement and restructures its case and default sections to ensure that the associated statements are properly wrapped in basic blocks (SgBasicBlock). This normalization is helpful for consistent transformation and analysis of switch statements, especially in situations where multiple statements follow a label or where no explicit block is present.
The function performs the following actions: ‐ Iterates over all statements in the switch body. ‐ Identifies SgCaseOptionStmt and SgDefaultOptionStmt. ‐ If the labeled statement has no body and is immediately followed by a single SgBasicBlock, no changes are made. ‐ Otherwise, all subsequent statements up to the next label are wrapped into a new SgBasicBlock that is inserted immediately after the label.
Return Value
true if normalization happens and AST has been changed. false if normalization does not happen and AST is intact.
Parameters
Name |
Description |
switchStmt |
Pointer to the switch statement ( |
Created with MrDocs