diff for duplicates of <555C38F2.7060402@gmx.net> diff --git a/a/1.txt b/N1/1.txt index 0fb373f..5199005 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -13,18 +13,3 @@ On 05/20/2015 04:34 AM, Paul E. McKenney wrote: > but in that case, if the resulting pointer happens by chance to reference > valid memory, I believe a dependency would still be carried. [...] - -From a language lawyer standpoint, pointer arithmetic is only valid -within an array. These examples seem to go beyond the bounds of the -array and therefore have undefined behavior. - -C++ standard section 5.7 paragraph 4 -"If both the pointer operand and the result point to elements of the -same array object, or one past the last element of the array object, -the evaluation shall not produce an overflow; otherwise, the behavior -is undefined." - -C99 and C11 -identical phrasing in 6.5.6 paragraph 8 - -Jens diff --git a/a/content_digest b/N1/content_digest index ee433e9..32f1032 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -35,21 +35,6 @@ "> There are some stranger examples, such as \"(char *)ptr - ((intptr_t)ptr)/7\",\n" "> but in that case, if the resulting pointer happens by chance to reference \n" "> valid memory, I believe a dependency would still be carried.\n" - "[...]\n" - "\n" - "From a language lawyer standpoint, pointer arithmetic is only valid\n" - "within an array. These examples seem to go beyond the bounds of the\n" - "array and therefore have undefined behavior.\n" - "\n" - "C++ standard section 5.7 paragraph 4\n" - "\"If both the pointer operand and the result point to elements of the\n" - "same array object, or one past the last element of the array object,\n" - "the evaluation shall not produce an overflow; otherwise, the behavior\n" - "is undefined.\"\n" - "\n" - "C99 and C11\n" - "identical phrasing in 6.5.6 paragraph 8\n" - "\n" - Jens + [...] -8db3bc608391bbadd63aebd4c7adabd205af1e91f6b9b4c3b36ef6ebde6fe5b4 +c75f800b471eb662b4dac1792e527ea12e714b267ddfb455b3840a671a724706
diff --git a/a/1.txt b/N2/1.txt index 0fb373f..bbf58dd 100644 --- a/a/1.txt +++ b/N2/1.txt @@ -14,7 +14,7 @@ On 05/20/2015 04:34 AM, Paul E. McKenney wrote: > valid memory, I believe a dependency would still be carried. [...] -From a language lawyer standpoint, pointer arithmetic is only valid +>From a language lawyer standpoint, pointer arithmetic is only valid within an array. These examples seem to go beyond the bounds of the array and therefore have undefined behavior. diff --git a/a/content_digest b/N2/content_digest index ee433e9..ddebe90 100644 --- a/a/content_digest +++ b/N2/content_digest @@ -37,7 +37,7 @@ "> valid memory, I believe a dependency would still be carried.\n" "[...]\n" "\n" - "From a language lawyer standpoint, pointer arithmetic is only valid\n" + ">From a language lawyer standpoint, pointer arithmetic is only valid\n" "within an array. These examples seem to go beyond the bounds of the\n" "array and therefore have undefined behavior.\n" "\n" @@ -52,4 +52,4 @@ "\n" Jens -8db3bc608391bbadd63aebd4c7adabd205af1e91f6b9b4c3b36ef6ebde6fe5b4 +e7a723fc2367ea2f0046a728fabbb9b06546d59da06b52bc48784d336a014359
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.