clang - 用于 clang-13 的 Scan-Build 未显示错误

Question

我正在使用 clang 13 来分析这段代码：

int f1(){
int a=5;
short b=4;
bool a1=a;//maybe warn
bool b1=b;//maybe warn
if(a1&&b1)return 1;
return 0;
}
class M{
public:
    virtual int GetAge(){return 0;}
};
class P:public M{
public:
    virtual int GetAge(){return 1;}
    P(){GetAge();}//maybe warn
    ~P(){GetAge();}//maybe warn
};

int main(){
    return 0;
}

但是当我运行scan-build -enable-checker alpha.core.BoolAssignment clang++ a5.cpp 它时：

scan-build: Using '/usr/lib/llvm-13/bin/clang' for static analysis
scan-build: Analysis run complete.
scan-build: Removing directory '/tmp/scan-build-2021-10-15-191934-7950-1' because it contains no reports.
scan-build: No bugs found.

但是我预计扫描构建会出错。我究竟做错了什么？