1 // Copyright 2020 The Pigweed Authors
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License"); you may not
4 // use this file except in compliance with the License. You may obtain a copy of
5 // the License at
6 //
7 // https://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
11 // WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
12 // License for the specific language governing permissions and limitations under
13 // the License.
14
15 #include "pw_allocator/block/contiguous.h"
16
17 #include "pw_assert/check.h"
18
19 namespace pw::allocator::internal {
20
21 // TODO: b/234875269 - Add stack tracing to locate which call to the heap
22 // operation caused the corruption in the methods below.
23
CrashNextMisaligned(uintptr_t addr,uintptr_t next)24 void CrashNextMisaligned(uintptr_t addr, uintptr_t next) {
25 PW_CRASH(
26 "A block (%p) is corrupted: it has a 'next' field (%p) that is not "
27 "properly aligned.",
28 cpp20::bit_cast<void*>(addr),
29 cpp20::bit_cast<void*>(next));
30 }
31
CrashNextPrevMismatched(uintptr_t addr,uintptr_t next,uintptr_t next_prev)32 void CrashNextPrevMismatched(uintptr_t addr,
33 uintptr_t next,
34 uintptr_t next_prev) {
35 PW_CRASH(
36 "A block (%p) is corrupted: its 'next' field (%p) has a 'prev' field "
37 "(%p) that does not match the block.",
38 cpp20::bit_cast<void*>(addr),
39 cpp20::bit_cast<void*>(next),
40 cpp20::bit_cast<void*>(next_prev));
41 }
42
CrashPrevMisaligned(uintptr_t addr,uintptr_t prev)43 void CrashPrevMisaligned(uintptr_t addr, uintptr_t prev) {
44 PW_CRASH(
45 "A block (%p) is corrupted: it has a 'prev' field (%p) that is not "
46 "properly aligned.",
47 cpp20::bit_cast<void*>(addr),
48 cpp20::bit_cast<void*>(prev));
49 }
50
CrashPrevNextMismatched(uintptr_t addr,uintptr_t prev,uintptr_t prev_next)51 void CrashPrevNextMismatched(uintptr_t addr,
52 uintptr_t prev,
53 uintptr_t prev_next) {
54 PW_CRASH(
55 "A block (%p) is corrupted: its 'prev' field (%p) has a 'next' field "
56 "(%p) that does not match the block.",
57 cpp20::bit_cast<void*>(addr),
58 cpp20::bit_cast<void*>(prev),
59 cpp20::bit_cast<void*>(prev_next));
60 }
61
62 } // namespace pw::allocator::internal
63