clang静态分析器在std :: make_shared

Question

在此代码中，在std :: make_shared之后，静态分析器不再能够找到错误（例如，被零除）。有没有人有类似的问题或知道为什么会这样？另外，它对于make_unique也可以正常工作。

#include <memory>
int main()
{

 auto b = std::make_shared<int>(new int(10));
 1/0;
}