'DFA::kCount' type should be ptrdiff_t as it's involved in pointer arithmetics.

diff --git a/re2c/src/ir/dfa/dfa.cc b/re2c/src/ir/dfa/dfa.cc
index 2721ea67f091e96964689495d5909dcfc73e63b8..fcee18cbdfc416e3bdffa4023385c2ea2be30d07 100644 (file)
--- a/re2c/src/ir/dfa/dfa.cc
+++ b/re2c/src/ir/dfa/dfa.cc
@@ -150,7 +150,7 @@ void DFA::addState(State **a, State *s)
                tail = &s->next;
 }
 
-State *DFA::findState(Ins **kernel, uint32_t kCount)
+State *DFA::findState(Ins **kernel, ptrdiff_t kCount)
 {
        Ins **cP, **iP, *i;
        State *s;

diff --git a/re2c/src/ir/dfa/dfa.h b/re2c/src/ir/dfa/dfa.h
index 2cbd3703fde52976379ecdaa8e6742b858642586..fc27ab684f84df925036f4b8318159a6d0807a64 100644 (file)
--- a/re2c/src/ir/dfa/dfa.h
+++ b/re2c/src/ir/dfa/dfa.h
@@ -29,7 +29,7 @@ public:
        DFA (Ins *, uint32_t, uint32_t, uint32_t, const Char *);
        ~DFA ();
        void addState (State **, State *);
-       State * findState (Ins **, uint32_t);
+       State * findState (Ins **, ptrdiff_t);
        void split (State *);
 
        void findSCCs ();

diff --git a/re2c/src/ir/dfa/state.h b/re2c/src/ir/dfa/state.h
index 41af7dfdb12805a18dfad00c4efa95cb237b5268..6171223eb4868525ca8d6a3a239800bcef6e88fb 100644 (file)
--- a/re2c/src/ir/dfa/state.h
+++ b/re2c/src/ir/dfa/state.h
@@ -17,7 +17,7 @@ public:
        State * next;
        State * link;
        uint32_t depth; // for finding SCCs
-       uint32_t kCount;
+       ptrdiff_t kCount;
        Ins ** kernel;
 
        bool isPreCtxt;