Because the values of multiple return statements will be merged and associated with this memloc.

Greg Bronevetsky
Lawrence Livermore National Lab
(925) 424-5756
bronevetsky@llnl.gov<mailto:bronevetsky@llnl.gov>
http://greg.bronevetsky.com

From: Sriram Aananthakrishnan [mailto:notifications@github.com]
Sent: Monday, November 04, 2013 3:58 PM
To: sriram87/edg4x-rose
Cc: bronevet
Subject: Re: [edg4x-rose] Fuse dev integration 11/3/13 (#1)


In projects/fuse/src/analysis/abstract_object.h:

>

> -/*GB: Deprecating IndexSets and replacing them with ValueObjects.

> -//! A set of index values, could only have constant integer values or unknown values in this implementation.

> -class IndexSet : public dbglog::printable

> +// Special MemRegionObject used internally by the framework to associate with the return value of a function

> +class FuncResultMemRegionObject : public MemRegionObject

I forgot why we need to treat function results as a special abstract object. Can you refresh me on this ?

—
Reply to this email directly or view it on GitHub<https://github.com/sriram87/edg4x-rose/pull/1/files#r7418249>.