unwind: update equivalent states
commit5bb5ede305954323403037878e8518669f8f4e48
authorDan Carpenter <error27@gmail.com>
Tue, 3 Aug 2010 10:27:03 +0000 (3 12:27 +0200)
committerDan Carpenter <error27@gmail.com>
Tue, 3 Aug 2010 10:27:03 +0000 (3 12:27 +0200)
tree27310ddf80ab7316baf213e9d9d910a8133a8cbe
parent7475293cfabff8c13bdb95f1c90b30845cbf4b0b
unwind: update equivalent states

There are some places that do:

irq = request_irq();
dev->irq = irq;
ret = some_func();
if (ret) {
release_irq(dev->irq);
return ret;
}

The problem is that they released "dev->irq" instead of "irq" like we were
expecting.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_unwind.c
smatch_constraints.c
smatch_extra.h
validation/sm_equiv4.c [new file with mode: 0644]