要理解这段代码的输出，我们需要一步步分析代码的执行过程。代码定义了一个函数 `sum_a(a, b, l)` 并在最后调用这个函数后输出结果。

1. 初始参数：`a = 3`, `b = 5`, `l = []`（一个空列表）。
2. 进入 `for` 循环，范围是 `range(0, a)`，即 `range(0, 3)`，所以 `i` 将依次取值 `0, 1, 2`。
3. 第一轮（`i = 0`）：
- `l.append(a + i)`，即 `l.append(3 + 0)`，因此 `l` 变为 `[3]`。
- `a += 1`，因此 `a` 变为 `4`。
- 检查 `if a > b`，4 不大于 5，因此不执行 `break`。
- 检查 `elif a < b`，4 小于 5，因此执行 `l.append(a)`，将 `4` 加入列表 `l`。所以 `l` 变为 `[3, 4]`。
4. 第二轮（`i = 1`）：
- `l.append(a + i)`，即 `l.append(4 + 1)`，因此 `l` 变为 `[3, 4, 5]`。
- `a += 1`，因此 `a` 变为 `5`。
- 检查 `if a > b`，5 不大于 5，因此不执行 `break`。
- 检查 `elif a < b`，5 不小于 5，因此不执行 `l.append(a)`。
5. 第三轮（`i = 2`）：
- `l.append(a + i)`，即 `l.append(5 + 2)`，因此 `l` 变为 `[3, 4, 5, 7]`。
- `a += 1`，因此 `a` 变为 `6`。
- 检查 `if a > b`，6 大于 5，因此执行 `break`，循环结束。

循环结束后，返回 `l[1]`，即返回列表中第二个元素。此时 `l = [3, 4, 5, 7]`，因此 `l[1] = 4`。

所以输出结果是 `4`，即选项 B。