Fix inequivalence of unresolved exception spec

Ericsson / clang

Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)

http://clang.llvm.org/

Other

15 stars 10 forks source link

Closed martong closed 5 years ago

martong commented 5 years ago

Structural equivalence of methods can falsely report false when the exception specifier is unresolved (i.e unevaluated or not instantiated).

This causes one assertion during bitcoin analysis.