[wrong patch attached, sorry]

> like this:
> 
>      if (low == 0 && high == base_mask)
>         {
>           *locexpr_length = length;
>           return loc_ptr;

Here is the actual patch (lacking comments, but this is only for
experimenting). If we decide to handle this situation, I'll add
proper comments.

-- 
Joel