lkml.org 
[lkml]   [2014]   [Nov]   [12]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] arch: tile: kernel: kgdb.c: Use memcpy() instead of pointer copy one by one
On 11/12/2014 09:27 PM, Jeff Epler wrote:
> It seems there's additional background required to understand the
> diagnostic:
>
> asm/ptrace.h has
> struct pt_regs {
> /* tp, sp, and lr must immediately follow regs[] for aliasing. */
> pt_reg_t regs[53];
> pt_reg_t tp; /* aliases regs[TREG_TP] */
> pt_reg_t sp; /* aliases regs[TREG_SP] */
> pt_reg_t lr; /* aliases regs[TREG_LR] */
> and the intended copy overwites all of regs[], plus tp, sp, and lr.
>
> It's intended for thread_regs.regs[TREG_TP] to alias to thread_regs.tp,
> though in C this is undefined behavior (it dereferences a pointer past
> the end of the structure).

Yeah.

>>> arch/tile/kernel/kgdb.c:140:31: warning: iteration 53u invokes undefined behavior [-Waggressive-loop-optimizations]
>>> *(ptr++) = thread_regs->regs[reg];
>
> If compilers are beginning to exploit the rule that indexing past the
> end of an array is UB, then the way that these register aliases are
> created may need to be revisited with careful attention to what the C
> standard actually says; I'm just going by memory.

"thread_regs.tp" and "TREG_SP" (not "TREG_TP") are all used, at present.
For me, both of them can let code readable and clearer, and they are not
conflict (variable let address clearer, macro let index clearer).

So for me, only "memcpy() instead of 'for' looping" is engough. Not
consider about compiler's warning, memcpy() can get a little higher
performance and simple code.

> (I assume the
> compiler could do things like replace an intended load from memory with
> a constant load or even no load at all)
>

Excuse me, my English is not quite well, I can not understand what you
said above. (If necessary, please help provide more details for it).

Thanks.
--
Chen Gang

Open share and attitude like air water and life which God blessed


\
 
 \ /
  Last update: 2014-11-12 17:21    [W:0.051 / U:27.296 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site