CHICKEN Scheme

Summary

scrutinizer makes too strong assumptions about mutable data

Metadata

Id: 065a44cb78086a741b3eb3ede7e814a057b08d45
Trac id: 868
Type: defect
Reporter: felix
Owner: felix
Cc:
Status: closed
Component: scrutinizer
Estimated difficulty:
Resolution: fixed
Priority: critical
Milestone: 4.9.0
Version: 4.7.x
Changetime: 2012-09-24 21:47:48 UTC
Created: 2012-06-15 13:15:31 UTC
Keywords:

Description

Like this:

 (define foo (make-vector 1 #f))
 (vector-set! foo 0 'sym)
 (print (get (vector-ref foo 0) 'a))

When compiled in block mode, we get:

 Warning: at toplevel:
   (x.scm:5) in procedure call to `get', expected argument #1 of type `symbol', but was given an argument of type `boolean'

Changes and comments

[2012-06-15 13:15:51 UTC] felix changed description

[2012-06-15 14:49:15 UTC] felix changed priority from major to critical

[2012-06-15 14:49:15 UTC] felix set milestone to 4.8.0

[2012-06-15 14:49:15 UTC] felix wrote:

The entries for `make-vector` and `cons`, `list` and all other constructors probably have to be weakened in `types.db` - the returned data may be mutated and so can change type.

[2012-06-16 13:59:18 UTC] felix wrote:

Replying to felix: > The entries for `make-vector` and `cons`, `list` and all other constructors probably have to be weakened in `types.db` - the returned data may be mutated and so can change type.

That's nonsense, actually. The real problem is that smashing happens only for env + blist entries, not for globals.