要分析这个代码的输出结果，我们需要逐步跟踪每次循环中的计算过程。

给定代码如下：

```python
a = [3, 4, 5]
b = [4, 5, 6, 8, 9]

for i in range(len(a)):
a[i] = a[i] + b[i + 1] + 1
print(a)
```

在这个代码中，`a` 列表是 `[3, 4, 5]`，`b` 列表是 `[4, 5, 6, 8, 9]`。我们需要在循环中更新 `a` 中的元素。注意 `b[i + 1]` 中的 `i + 1` 是为了访问 `b` 列表的后一位元素。

让我们逐步分析：

1. **第一次循环 (`i = 0`)**:
- 计算：`a[0] = a[0] + b[1] + 1 = 3 + 5 + 1 = 9`
- 列表 `a` 更新为 `[9, 4, 5]`
- 打印输出：`[9, 4, 5]`

2. **第二次循环 (`i = 1`)**:
- 计算：`a[1] = a[1] + b[2] + 1 = 4 + 6 + 1 = 11`
- 列表 `a` 更新为 `[9, 11, 5]`
- 打印输出：`[9, 11, 5]`

3. **第三次循环 (`i = 2`)**:
- 计算：`a[2] = a[2] + b[3] + 1 = 5 + 8 + 1 = 14`
- 列表 `a` 更新为 `[9, 11, 14]`
- 打印输出：`[9, 11, 14]`

因此，经过三次循环后，列表 `a` 的最终状态为 `[9, 11, 14]`。

综上所述，代码的最终输出结果是 `[9, 11, 14]`，对应选项 B。