wangxindsb marked 5 inline comments as done.
wangxindsb added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp:72
+REGISTER_MAP_WITH_PROGRAMSTATE(CtorMap, const MemRegion *, bool)
+REGISTER_MAP_WITH_PROGRAMSTATE(DtorMap, const MemRegion *, bool)
+
----------------
xazax.hun wrote:
> I was wondering if there is another way to represent the state.
> We could have a two element (bool based) enum class like:
> ```
> enum class ObjectState : bool {
> CtorCalled,
> DtorCalled
> };
> ```
>
> Se we could have only one map in the GDM. Either the destructor is called for
> an object or the constructor. Or in case none of them is called on a path,
> the state is empty. What do you think?
>
Yes, it's better than the previous two maps.
https://reviews.llvm.org/D34275
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
