Analysis crashes when using perf-taint-remove-duplicates

spcl / perf-taint

Taint-based program analysis framework for empirical performance modeling.

BSD 3-Clause "New" or "Revised" License

5 stars 2 forks source link

Analysis crashes when using perf-taint-remove-duplicates #37

Closed larissaschmid closed 3 years ago

larissaschmid commented 3 years ago

When using the perf-taint-remove duplicates flag, the static analysis crashes on line 947 in PerfTaintPass.cpp (const Function & parent = *it->second;) with the following message:

opt:llvm/ADT/Optional.h:73: T &llvm::optional_detail::OptionalStorage<perf_taint::Function, false>::getValue() & [T = perf_taint::Function]: Assertion `hasVal' failed.

mcopik commented 3 years ago

@julifan Can you pull from the master and try again?

larissaschmid commented 3 years ago

Yes, works now!