Changes between Version 2 and Version 3 of PointsToAnalysis

Timestamp:

02/15/16 14:58:37 (10 years ago)

Author:

zmanchun

Comment:

--

PointsToAnalysis

@@ -40 +40 @@
       `obj(ea[ei])={ea[ei]}`
 
-==== Sub-expressions ====
-let `e` be an expression, let `sub(e)` be the set of sub-expressions of `e`.
+==== Questions ====
+1. how about arrays of pointers:
+    e.g., for `int* a[10];`, we'll need to have one set for each array element.\\
+    how do you deal with:
+    {{{
+    int *a[10], b[10];
 
-1. abstract function call: `f(e0,e1, ...)`
-    `sub(f(e0,e1, ...)) = {e0, e1, ...}`
-2. address-of: `&le`
-    `sub(&le)={le} U sub(le)`
-3. array literal: `{e0, e1, ...}`
-    `sub({e0, e1, ...}) = {e0, e1, ...}``
- 4. binary expression: `e0 op e1`
-    `sub(e0 op e1) = e0.type== pointer ? {e1} : {e0, e1}`
-5. bound variable expression: `eb` 
-    `sub(eb)=\empty`
-6. cast expression: `(T)e`
-    `sub((T)e)={e}`
+    for(int i=0; i<10; i++){
+      a[i]=b[i];
+    }
+    }}}
+    A precise analysis should say that: 
+   `obj(a[0])={b[0]}`\\
+   `obj(a[1])={b[1]}`\\
+   ...\\
+   but a less-precise analysis could say that:
+   `obj(a[0])={b[0], b[1], ...}`\\
+   `obj(a[1])={b[0], b[1], ...}`\\
+   ...
+
+   A more intersting example:
+   {{{
+   $parfor(int i: 0 .. 9){
+      a[i]=b[i];
+   }
+   }}}
+   
 
 
 
 
-
-