search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Add DebugLocation to OtherLockAnalysis #18

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

The newer NoBranchAnalysis gives a helpful message - this one should too.

Baltoli commented 7 years ago

Maybe make a shared function for this?

Baltoli commented 7 years ago

Closing for now as this needs lots of reflowing to get an Instruction to the place where the message is generated.