Patch for builtin strpbrk

[Joseph S. Myers]

[CC:ed to bug-checker@gnu.org]

On Tue, 7 Nov 2000, Kaveh R. Ghazi wrote:

>  > (There may also be -fcheck-memory-usage issues - i.e., it may need to
>  > emit the Checker calls to check that the string is readable (see
>  > expand_builtin_strlen), since the string still is required by the
>  > standard to be a valid null-terminated string.  Though, I don't know
>  > whether there's a version of Checker that works with current GCC, or
>  > whether the -fcheck-memory-usage support is at all bitrotten.)
>  >
>  > >  > strpbrk(foo, "c") -> strchr(foo, c)
>
> I'm not entirely comfortable writing this part.  I support I could
> just copy bits out of expand_builtin_strlen, however I don't
> understand Checker to say whether what I'm doing is correct.  Also
> since you're not sure Checker actually works, I can't figure it out
> through trial and error and test what I come up with.

I haven't actually tested Checker to see whether it works with GCC CVS,
but the supposition of problems comes from:

* The Checker web site ( http://www.gnu.org/software/checker/checker.html )
says gcc 2.8.1 is required, and points to alpha.gnu.org for the current
Checker version.  The most recent version there, 0.9.9.1, is two years
old, and includes patches against gcc 2.8.1 and egcs 19980803.

* There have been problems reports such as
<URL: http://gcc.gnu.org/ml/gcc/2000-09/msg00352.html >.

So, for anyone reading bug-checker@gnu.org: is Checker currently
maintained; will there be a version that works with GCC 3.0?

-- 
Joseph S. Myers
jsm28@cam.ac.uk