https://bugs.llvm.org/show_bug.cgi?id=41891
Bug ID: 41891
Summary: after std::make_shared path-sensitive analysis stops
Product: clang
Version: 7.0
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
Assignee: dcough...@apple.com
Reporter: plavsic.ognje...@gmail.com
CC: dcough...@apple.com, llvm-bugs@lists.llvm.org
#include <memory>
int main()
{
auto b = std::make_shared<int>(new int(10));
1/0;
}
After std::make_shared line of code, Static Analyzer won't throw Div by zero
warning. It works fine when i use std::make_unique, so it's really confusing.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs