为什么Xcode 4.3静态分析会使用此代码报告逻辑错误？

Question

我不确定为什么Xcode 4.3在以下C ++代码上运行静态分析时报告“逻辑错误。未定义或垃圾值返回给调用者”。报告错误位于return e;行。

enum MyEnum { MyEnumValue };

MyEnum myFunction() {
    try {
        throw MyEnumValue;
    } catch (MyEnum e) {
        return e;
    }

    return MyEnumValue;
}

任何线索??

Answer 1

这是Xcode 4.3中的一个错误，现在似乎已在Xcode 4.4中修复。