[vala] dova: Support pointer arithmetic

[Jürg Billeter <juergbi src gnome org>]

commit 642b48d5be8440121f33629a41f9251be7c888f5
Author: Jürg Billeter <j bitron ch>
Date:   Sat Jun 5 09:57:13 2010 +0200

    dova: Support pointer arithmetic

 vala/valabinaryexpression.vala |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)
---
diff --git a/vala/valabinaryexpression.vala b/vala/valabinaryexpression.vala
index ebb19f8..52cd4d9 100644
--- a/vala/valabinaryexpression.vala
+++ b/vala/valabinaryexpression.vala
@@ -319,7 +319,11 @@ public class Vala.BinaryExpression : Expression {
 					}
 				} else if (right.value_type is PointerType) {
 					// pointer arithmetic: pointer - pointer
-					value_type = analyzer.size_t_type;
+					if (analyzer.context.profile == Profile.DOVA) {
+						value_type = analyzer.long_type;
+					} else {
+						value_type = analyzer.size_t_type;
+					}
 				}
 			}