Return inside loops in C - Step-by-Step Execution

Concept Flow - Return inside loops

Start function

↓

Enter loop

↓

Check condition

Yes↓

Execute loop body

↓

Return encountered?

Yes→Exit function immediately

No↓

Next iteration

Back to Check condition↓

Exit loop

↓

Return at end of function

↓

End function

↩Back to Check condition

The function starts, enters the loop, and on each iteration checks the condition. If a return statement is hit inside the loop, the function exits immediately without continuing further.

Execution Sample

C

int find_first_even(int arr[], int size) {
    for (int i = 0; i < size; i++) {
        if (arr[i] % 2 == 0) {
            return arr[i];
        }
    }
    return -1;
}

This function returns the first even number found in the array or -1 if none is found.

Execution Table

Step	i	Condition (i < size)	Check arr[i] % 2 == 0	Action	Return Value
1	0	0 < 5 = True	arr[0] = 3, 3 % 2 = 1 (False)	Continue loop	No return
2	1	1 < 5 = True	arr[1] = 7, 7 % 2 = 1 (False)	Continue loop	No return
3	2	2 < 5 = True	arr[2] = 4, 4 % 2 = 0 (True)	Return 4	4
4	-	-	-	Function exits immediately	4

💡 Return inside loop at step 3 causes immediate function exit, loop stops early.

Variable Tracker

Variable	Start	After 1	After 2	After 3	Final
i	-	0	1	2	-
Return Value	None	None	None	4	4

Key Moments - 2 Insights

Why does the function stop checking the array after finding the first even number?

Because the return statement inside the loop immediately exits the function, as shown in execution_table step 3 where the function returns 4 and stops.

What happens if no even number is found in the array?

The loop finishes all iterations without hitting the return inside the loop, then the function returns -1 after the loop ends, as shown by the exit_note.

Visual Quiz - 3 Questions

Look at the execution table, what is the value of i when the function returns?

A 2

B 3

C 0

D 4

💡 Hint

Check the 'i' column in the row where 'Return 4' happens (step 3).

At which step does the function exit immediately due to return inside the loop?

A Step 1

B Step 2

C Step 3

D Step 4

💡 Hint

Look at the 'Action' column for the first return inside the loop.

If the array had no even numbers, what would the function return after the loop?

A 0

B -1

C The last element

D Undefined

💡 Hint

Refer to the exit_note and the last return statement in the code sample.

Concept Snapshot

Return inside loops in C:
- When return is executed inside a loop, function exits immediately.
- Loop stops, no further iterations.
- Useful to return early when condition met.
- If no return in loop, function continues after loop.
- Example: find first even number and return it early.

Full Transcript

This example shows a function that looks for the first even number in an array. It uses a for loop to check each element. When it finds an even number, it returns that number immediately, stopping the loop and the function. If no even number is found, it returns -1 after the loop ends. The execution table traces each step: the loop index i, the condition check, whether the current element is even, and the action taken. The variable tracker shows how i changes each iteration and when the return value is set. Key moments clarify why the function stops early and what happens if no even number is found. The quiz questions help check understanding of when and why the return happens inside the loop.

Practice

1. What happens when a return statement is executed inside a loop in a C function?

easy

A. The program crashes due to an error.

B. The loop skips the current iteration and continues.

C. The loop finishes all iterations before returning.

D. The function immediately stops and returns the specified value.

Solution

1. Step 1: Understand the role of return inside a function

   The return statement immediately ends the function and sends back a value.

2. Step 2: Effect of return inside a loop

   When return is inside a loop, the function stops as soon as return is executed, even if the loop is not finished.

3. Final Answer:

   The function immediately stops and returns the specified value. -> Option D

4. Quick Check:

   Return inside loop = immediate function exit [OK]

Hint: Return inside loop stops function immediately [OK]

Common Mistakes:

• Thinking return only exits the loop, not the function
• Assuming loop completes before return
• Confusing return with continue or break

2. Which of the following is the correct syntax to return the value 5 inside a for loop in C?

easy

A. for(int i=0; i<3; i++) { return 5; }

B. for(int i=0; i<3; i++) return(5)

C. for(int i=0; i<3; i++) { return; 5; }

D. for(int i=0; i<3; i++) { return 5 }

Solution

1. Step 1: Check syntax of return statement

   Return must be followed by a value and a semicolon inside braces if used.

2. Step 2: Analyze each option

   for(int i=0; i<3; i++) { return 5; } uses correct syntax with braces and semicolon. for(int i=0; i<3; i++) return(5) misses semicolon, invalid. for(int i=0; i<3; i++) { return; 5; } has return without value then 5; which is invalid. for(int i=0; i<3; i++) { return 5 } misses semicolon after return 5.

3. Final Answer:

   for(int i=0; i<3; i++) { return 5; } -> Option A

4. Quick Check:

   Return syntax needs value and semicolon [OK]

Hint: Return must have value and semicolon inside braces [OK]

Common Mistakes:

• Omitting semicolon after return
• Placing code after return on same line
• Using return without value in non-void function

3. What is the output of this C function?

int findFirstEven(int arr[], int size) {
  for(int i = 0; i < size; i++) {
    if(arr[i] % 2 == 0) {
      return arr[i];
    }
  }
  return -1;
}

int main() {
  int nums[] = {3, 7, 8, 5};
  printf("%d", findFirstEven(nums, 4));
  return 0;
}

medium

A. 3

B. 7

C. 8

D. -1

Solution

1. Step 1: Trace the loop to find first even number

   The array is {3, 7, 8, 5}. Loop checks each element: 3 (odd), 7 (odd), 8 (even).

2. Step 2: Return when first even found

   At element 8, condition is true, so function returns 8 immediately, skipping rest.

3. Final Answer:

   8 -> Option C

4. Quick Check:

   Return stops loop at first even number 8 [OK]

Hint: Return inside loop returns first matching value [OK]

Common Mistakes:

• Assuming loop continues after return
• Returning wrong element index
• Confusing return value with loop index

4. Identify the error in this C function that tries to return the first negative number from an array:

int firstNegative(int arr[], int n) {
  for(int i=0; i

medium

A. The function has no return statement.

B. The function returns 0 too early, skipping rest of array.

C. The loop syntax is incorrect.

D. The function returns negative numbers incorrectly.

Solution

1. Step 1: Analyze the loop and return logic

   The else clause returns 0 immediately if the first element is not negative, so the loop never checks further elements.

2. Step 2: Understand why this is a problem

   This causes the function to stop early and miss negative numbers later in the array.

3. Final Answer:

   The function returns 0 too early, skipping rest of array. -> Option B

4. Quick Check:

   Return in else exits function too soon [OK]

Hint: Avoid return in else inside loop to check all elements [OK]

Common Mistakes:

• Returning inside else causes early exit
• Not using braces causing confusion
• Assuming loop checks all elements

5. You want to write a C function that returns the index of the first prime number in an array, or -1 if none found. Which code snippet correctly uses return inside a loop to achieve this?

hard

A. for(int i=0; i

B. for(int i=0; i

C. for(int i=0; i

D. for(int i=0; i

Solution

1. Step 1: Understand the goal

   We want to return the index of the first prime number found, or -1 if none.

2. Step 2: Analyze each option's logic

   for(int i=0; i

3. Final Answer:

   for(int i=0; i -> Option A

4. Quick Check:

   Return index on first prime, else -1 after loop [OK]

Hint: Return inside loop on condition, return default after loop [OK]

Common Mistakes:

• Returning wrong value inside loop
• Using break without return
• Returning default inside loop