Re: [sv-bc] RE: [sv-ec] RE: [sv-ac] RE: 3398 and 3625

From: Brad Pierce <brad_pierce@acm.org>
Date: Fri Jun 17 2011 - 11:28:02 PDT

> every branch within the function either assigns to the function name or has a return statement with a value

Functions have local variables. You can assign to them even if they
are static, without that communicating any info to future calls, if
each call refrains from reading from any bits that it has not already
written to.

-- Brad

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Jun 17 11:28:38 2011

This archive was generated by hypermail 2.1.8 : Fri Jun 17 2011 - 11:28:46 PDT