5 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	072adaa279	C++: Require that no override of the called pure virtual function exists in any base class. This removes the false positive in the testcase. Based on the results on LGTM we have agreed to set the @precision to very-high.	2020-11-19 12:10:57 +01:00
Mathias Vorreiter Pedersen	0a6a22562b	C++: Respond to more review comments. ... - Remove post-dominance requirement. It was really just hiding good results. - Fix test annotations. Turns out Clang and GCC's 'undefined behavior' warning didn't align with the C++ standard.	2020-11-13 15:44:33 +01:00
Mathias Vorreiter Pedersen	b249777bfb	C++: Respond to review comments.	2020-11-13 10:44:06 +01:00
Mathias Vorreiter Pedersen	f417831a23	C++: Add two more tests to 'unsafe use of this'. First, test that post-dominance removes some results. Second, that a cast to the pure virtual function's defining class (skipping past a derived class that overrides the function) followed by a call to the function still results in an alert. This is also undefined behavior.	2020-11-12 15:51:04 +01:00
Mathias Vorreiter Pedersen	4bcf1f498b	C++: Add new query for unsafe use of this.	2020-11-10 17:23:55 +01:00