| Reporter |
Julien Lebosquain (mrjul)
|
|---|---|
| Created | Apr 20, 2018 5:26:05 PM |
| Updated | Apr 20, 2018 5:26:05 PM |
| Subsystem | Code Analysis - Annotations |
| Assignee | Alexander Shvedov (shvedov) |
| Priority | Normal |
| State | Submitted |
| Type | Bug |
| Fix version | No Fix versions |
| Affected versions | 2018.1 |
| Fixed In Version ReSharper | Undefined |
| VsVersion | VS 2017 15.3 |
Since using ReSharper 2018.1, I've got some false NullReferenceException for methods externally annotated with ContractAnnotation, such as Debug.Assert.
The annotation is present, but apparently incorrectly read:
Notice the "bad value" from Enhanced Tooltip, shown if JetBrains.ReSharper.Psi.ConstantValue.IsBadValue() is true.
Note that this is quite random, I've cleared my solution's cache several times, and sometimes the false error only first show in SWEA, to then disappear when the file is opened.
I can't reproduce it on a simpler solution. Unfortunately I can't share the incriminated solution (it's a client's), but I'd be happy to provide any logs or snapshots, since I've now hundreds of false warnings...