From ae79ef2cb54551a1f692f7f8acf524a0fd8be31a Mon Sep 17 00:00:00 2001
From: florian <florian@freepascal.org>
Date: Sun, 21 Oct 2007 19:05:06 +0000
Subject: [PATCH] * don't range pointers converted to arrays, resolves #8191

git-svn-id: trunk@8900 -
---
 .gitattributes         |  1 +
 compiler/ncgmem.pas    |  3 ++-
 tests/webtbs/tw8191.pp | 37 +++++++++++++++++++++++++++++++++++++
 3 files changed, 40 insertions(+), 1 deletion(-)
 create mode 100644 tests/webtbs/tw8191.pp

diff --git a/.gitattributes b/.gitattributes
index 1b292b8070..576b60217c 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -8384,6 +8384,7 @@ tests/webtbs/tw8177a.pp -text
 tests/webtbs/tw8180.pp svneol=native#text/plain
 tests/webtbs/tw8183.pp svneol=native#text/plain
 tests/webtbs/tw8187.pp svneol=native#text/plain
+tests/webtbs/tw8191.pp svneol=native#text/plain
 tests/webtbs/tw8195a.pp svneol=native#text/plain
 tests/webtbs/tw8195b.pp svneol=native#text/plain
 tests/webtbs/tw8199.pp svneol=native#text/plain
diff --git a/compiler/ncgmem.pas b/compiler/ncgmem.pas
index 0d9e7a34f5..c7966b2421 100644
--- a/compiler/ncgmem.pas
+++ b/compiler/ncgmem.pas
@@ -720,7 +720,8 @@ implementation
                   begin
                      if not(is_open_array(left.resultdef)) and
                         not(is_array_of_const(left.resultdef)) and
-                        not(is_dynamic_array(left.resultdef)) then
+                        not(is_dynamic_array(left.resultdef)) and
+                        not(ado_isconvertedpointer in tarraydef(left.resultdef).arrayoptions) then
                        begin
                           if (tordconstnode(right).value.svalue>tarraydef(left.resultdef).highrange) or
                              (tordconstnode(right).value.svalue<tarraydef(left.resultdef).lowrange) then
diff --git a/tests/webtbs/tw8191.pp b/tests/webtbs/tw8191.pp
new file mode 100644
index 0000000000..55b083ceb4
--- /dev/null
+++ b/tests/webtbs/tw8191.pp
@@ -0,0 +1,37 @@
+program PCharRangeChecking;
+
+{$APPTYPE CONSOLE}
+
+{$ifdef fpc}
+  {$mode delphi}
+{$endif}
+
+{$R+}
+
+function Test: Boolean;
+var
+  s: shortstring;
+  p: PChar;
+begin
+  s := '1234567890';
+  p := PChar(@s[1]);
+  Inc(p,4);
+
+  Result :=
+   (p[-4] = '1') and
+   (p[-3] = '2') and
+   (p[-2] = '3') and
+   (p[-1] = '4') and
+   (p[ 0] = '5') and
+   (p[ 1] = '6') and
+   (p[ 2] = '7') and
+   (p[ 3] = '8') and
+   (p[ 4] = '9') and
+   (p[ 5] = '0');
+end;
+
+begin
+  if not Test then
+    halt(1);
+  WriteLn('ok');
+end.