aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/x86/hipe_x86_ra_postconditions.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-06-10 08:42:33 +0200
committerHans Bolinder <[email protected]>2015-06-15 12:27:41 +0200
commitd65264ca24c966402876aa6f9127be8810310255 (patch)
tree3df65950661a78026aa2334fd26dd5ff75382942 /lib/hipe/x86/hipe_x86_ra_postconditions.erl
parentb109768baf023a0814bda37b452582c7b396ada2 (diff)
downloadotp-d65264ca24c966402876aa6f9127be8810310255.tar.gz
otp-d65264ca24c966402876aa6f9127be8810310255.tar.bz2
otp-d65264ca24c966402876aa6f9127be8810310255.zip
dialyzer: Fix a minor bug concerning opaque types
The test t_is_none() does not check for opaque types (and this is most likely how it should be), why t_opaque() should never be called with none().
Diffstat (limited to 'lib/hipe/x86/hipe_x86_ra_postconditions.erl')
0 files changed, 0 insertions, 0 deletions