Cyclone (programming language): Difference between revisions

Revision as of 21:38, 3 December 2017

Revision as of 18:43, 12 March 2018

Line 95:

}

</source>

Here, <code>strlen</code> bounds itself by the length of the array passed to it, thus not going over the actual length. Each of the kinds of pointer type can be safely cast to each of the others, and arrays and strings are automatically cast to <code>?</code> by the compiler. (Casting from <code>?</code> to <code>*</code> invokes a [[bounds checking|bounds check]], and casting from <code>?</code> to <code>@</code> invokes both a <code>NULL</code> check and a bounds check. Casting from <code>*</code> orto <code>?</code> results in no checks whatsoever; the resulting <code>?</code> pointer has a size of 1.)

===Dangling pointers and region analysis===