We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d5163ca commit 66e4940Copy full SHA for 66e4940
csharp/ql/src/semmle/code/csharp/Member.qll
@@ -331,6 +331,7 @@ class Virtualizable extends Member, @virtualizable {
331
* (An example where `getOverridee*().getImplementee()` would be incorrect.)
332
* - If this member is `D.M` then `I.M = getAnUltimateImplementee()`.
333
*/
334
+ pragma[nomagic]
335
Virtualizable getAnUltimateImplementee() {
336
exists(Virtualizable implementation, ValueOrRefType implementationType |
337
implements(implementation, result, implementationType)
0 commit comments