value_not_null() test added
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 17 Nov 2005 22:04:14 +0000 (22:04 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 17 Nov 2005 22:04:14 +0000 (22:04 +0000)
commitdcb712cebc5c7141c9e078f914b397425178db03
treec5875a9fdd2211633e5f8d2a4698121af716f4d0
parent22e06b87dcc9914e1bd131f8adc99df3c38084d9
value_not_null() test added

[r6934]
ir/opt/opt_confirms.c
ir/opt/opt_confirms.h