What kind of loop tests the termination condition after executing the loop body at least once?

The concept being referenced pertains to loop structures within programming that dictate how a loop is initiated and terminated based on specified conditions. The term "unguarded loop" refers specifically to a loop that guarantees the execution of its body at least once before evaluating its termination condition.

In an unguarded loop, the body of the loop runs initially without checking the termination condition, ensuring that the code within the loop executes at least one time. This behavior is common in constructs such as "do-while" loops in many programming languages, where the loop executes the statements once before proceeding to evaluate the condition at the end of that execution cycle. This characteristic is significant in scenarios where you need to perform an operation at least once, regardless of the condition's initial state.

By contrast, other types of loops—such as guarded or conditional loops—check for their termination conditions prior to executing the loop's body. This distinction is what makes the unguarded loop unique and ensures its classification.