| commit | d6627ca3cfb186cb03215d0c24e4c9869374547d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 26 Oct 2012 15:42:21 +0000 (26 17:42 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 28 Oct 2012 14:01:24 +0000 (28 15:01 +0100) | ||
| tree | bc94df14ff0dcf85a5b47473d998985d99f5bb09 | treesnapshot (tar.gz zip) |
| parent | a6ac2f5a77d396bca97bbe07a4a8cad67c219834 | commitdiff |
da.cc: include_other_source: only perform computations on single-valued filters
Since we are trying to derive information from the fact that some
iterations were not executed, we only know that there is some
filter element that lies outside the filter value. We can only
draw conclusions if exactly one element is accessed, i.e., if the
filter access relations are single-valued.
We therefore project out the filter access relations that are not
single-valued.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Since we are trying to derive information from the fact that some
iterations were not executed, we only know that there is some
filter element that lies outside the filter value. We can only
draw conclusions if exactly one element is accessed, i.e., if the
filter access relations are single-valued.
We therefore project out the filter access relations that are not
single-valued.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| da.cc | diffblobblamehistory |