[analyzer][NFC] Refactoring BugReporter.cpp P6.: Completely get rid of interestingnes...
authorKristof Umann <dkszelethus@gmail.com>
Tue, 13 Aug 2019 21:48:17 +0000 (21:48 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Tue, 13 Aug 2019 21:48:17 +0000 (21:48 +0000)
commit6c1b19ac9e85aff6d6cba14d9c1e29c11c1a0372
tree0b251c854631be1a4f067e3e12e32cc3a6e33e08
parented3324f6b6e3d848b8fb32cdede1cf11c1319238
[analyzer][NFC] Refactoring BugReporter.cpp P6.: Completely get rid of interestingness propagation

Apparently this does literally nothing.

When you think about this, it makes sense. If something is really important,
we're tracking it anyways, and that system is sophisticated enough to mark
actually interesting statements as such. I wouldn't say that it's even likely
that subexpressions are also interesting (array[10 - x + x]), so I guess even
if this produced any effects, its probably undesirable.

Differential Revision: https://reviews.llvm.org/D65487

llvm-svn: 368752
clang/lib/StaticAnalyzer/Core/BugReporter.cpp