On Thu, Jan 11, 2018 at 4:46 PM, Dan Williams <dan.j.williams@xxxxxxxxx> wrote: > From: Mark Rutland <mark.rutland@xxxxxxx> > > Document the rationale and usage of the new array_ptr() helper. > > Signed-off-by: Mark Rutland <mark.rutland@xxxxxxx> > Signed-off-by: Will Deacon <will.deacon@xxxxxxx> > Cc: Dan Williams <dan.j.williams@xxxxxxxxx> > Cc: Jonathan Corbet <corbet@xxxxxxx> > Cc: Peter Zijlstra <peterz@xxxxxxxxxxxxx> > Signed-off-by: Dan Williams <dan.j.williams@xxxxxxxxx> > --- > Documentation/speculation.txt | 142 +++++++++++++++++++++++++++++++++++++++++ > [...] > +NULL is returned. Additionally, array_ptr() an out-of-bounds poitner is > +not propagated to code which is speculatively executed. I think this meant to say: Additionally, array_ptr() of an out-of-bounds pointer is not propagated to code which is speculatively executed. Other than that: Reviewed-by: Kees Cook <keescook@xxxxxxxxxxxx> -Kees -- Kees Cook Pixel Security
