Add diagnostic to find 005 instability.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
This commit is contained in:
Keith Rothman 2020-02-18 12:47:17 -08:00
parent 850d16fa02
commit 32833e6f93
1 changed files with 1 additions and 0 deletions

View File

@ -37,6 +37,7 @@ def load_db(fn):
parts = l.split(' ')
tagstr = parts[0]
addrlist = parts[1:]
assert not any(s == '<const0>' for s in addrlist), (fn, l)
check_frames(tagstr, addrlist)
# Take the first address in the list
frame, wordidx, bitidx = parse_addr(addrlist[0])