From d499d5322f051d4ec7ad79ddc0ac2567a3ce5f77 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 15 Apr 2014 10:50:25 +0200 Subject: [PATCH] pet_expr: document the read and write fields Signed-off-by: Sven Verdoolaege --- expr.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/expr.h b/expr.h index 199e991..4c181b6 100644 --- a/expr.h +++ b/expr.h @@ -56,6 +56,13 @@ extern "C" { * the set of integers. That is, the access represents a value that * is equal to the index. * + * An access expresssion is marked "read" if it represents a read and + * marked "write" if it represents a write. A single access expression + * may be marked both read and write. + * It may also be marked neither read or write, in which case it + * is the argument of a kill operation and represents the set of + * killed array elements. + * * A double is represented as both an (approximate) value "val" and * a string representation "s". */ -- 2.11.4.GIT