要分析给定代码的输出结果，我们需要逐步检查代码的逻辑。

首先，代码片段如下：

```python
a = 6
b = {6, 7, 8}

if a in b:
b.append(a + 1)
elif (a + 1) in b:
b.append(a + 2)
else:
b.append(a - 1)
print(b)
```

分析代码：

1. **集合类型问题**：
- `b` 是集合（使用花括号`{}`定义），而不是列表。
- 集合在 Python 中没有 `.append()` 方法，它使用 `.add()` 方法来添加元素。因此，代码在尝试使用 `b.append(...)` 时会抛出 `AttributeError`。

2. **代码执行流程**：
- `a = 6`
- `b = {6, 7, 8}`，是一个集合。
- `if a in b:` 条件为 `True`，因为 `6` 存在于集合 `b` 中。
- 因为集合没有 `append` 方法，代码在这步会报错。

3. **根据问题分析**：
- 由于集合类型不支持 `.append()`，会引发 `AttributeError`。

结合以上分析，代码在执行 `b.append(a + 1)` 时就会产生错误。因此，正确答案是 **D: 报错**。