Summary

types.db: "allocate" can return false, not just pointers

Metadata

• Id: b80cb6df6ce44a7d8892a3252ca155ce635fe759
• Trac id: 573
• Type: defect
• Reporter: sjamaan
• Owner: felix
• Cc:
• Status: closed
• Component: compiler
• Estimated difficulty:
• Resolution: fixed
• Priority: not urgent at all
• Milestone: 4.9.0
• Version: 4.6.x
• Changetime: 2012-09-24 21:47:48 UTC
• Created: 2011-05-10 15:03:08 UTC
• Keywords:

Description

 
 But when I do {{{(let ((x (allocate y))) (unless x (error "allocation problem")))}}} I get a compiler warning:
 
 {{{
 Warning: in toplevel procedure `freetds#make-CS_BINARY*':
   expected value of type boolean in conditional but were given a value of
 type `pointer' which is always true:

I think types.db needs a small tweak to accommodate null pointers.

Probably something like this:

Changes and comments

[2011-05-15 14:25:45 UTC] felix changed status from new to closed

[2011-05-15 14:25:45 UTC] felix set resolution to fixed

[2011-05-15 14:25:45 UTC] felix wrote:

Correct. Thanks.

[2011-06-01 09:00:41 UTC] felix changed milestone from 4.7.0 to 4.8.0

[2011-06-01 09:00:41 UTC] felix wrote:

Milestone 4.7.0 deleted

[2012-09-24 21:47:48 UTC] felix changed milestone from 4.8.0 to 4.9.0

[2012-09-24 21:47:48 UTC] felix wrote:

Milestone 4.8.0 deleted