blob: abed9440b176e16634d74d21d4ddb53a099b4e2c [file] [log] [blame]
Alexey Samsonovbc3a7e32012-06-06 06:47:26 +00001//===-- sanitizer_common.h --------------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file is shared between AddressSanitizer and ThreadSanitizer
11// run-time libraries.
Alexey Samsonovee072902012-06-06 09:26:25 +000012// It declares common functions and classes that are used in both runtimes.
Alexey Samsonovbc3a7e32012-06-06 06:47:26 +000013// Implementation of some functions are provided in sanitizer_common, while
14// others must be defined by run-time library itself.
15//===----------------------------------------------------------------------===//
16#ifndef SANITIZER_COMMON_H
17#define SANITIZER_COMMON_H
18
19#include "sanitizer_internal_defs.h"
Kostya Serebryanya8cfb902013-02-26 13:30:27 +000020#include "sanitizer_libc.h"
Alexey Samsonov734aab42013-04-05 07:30:29 +000021#include "sanitizer_mutex.h"
Alexey Samsonovbc3a7e32012-06-06 06:47:26 +000022
23namespace __sanitizer {
Kostya Serebryanyb4c2c5c2013-02-06 12:36:49 +000024struct StackTrace;
Alexey Samsonovbc3a7e32012-06-06 06:47:26 +000025
Alexey Samsonovee072902012-06-06 09:26:25 +000026// Constants.
Kostya Serebryany734f1eb2012-11-21 12:38:58 +000027const uptr kWordSize = SANITIZER_WORDSIZE / 8;
Alexey Samsonovee072902012-06-06 09:26:25 +000028const uptr kWordSizeInBits = 8 * kWordSize;
Kostya Serebryanydf198db2012-11-24 05:03:11 +000029
Kostya Serebryany46de5802012-11-20 07:00:42 +000030#if defined(__powerpc__) || defined(__powerpc64__)
Kostya Serebryany46de5802012-11-20 07:00:42 +000031const uptr kCacheLineSize = 128;
Alexey Samsonov40e51282012-06-15 07:29:14 +000032#else
Kostya Serebryany46de5802012-11-20 07:00:42 +000033const uptr kCacheLineSize = 64;
Alexey Samsonov40e51282012-06-15 07:29:14 +000034#endif
Alexey Samsonovee072902012-06-06 09:26:25 +000035
Alexey Samsonovc8e73642013-06-11 08:13:36 +000036const uptr kMaxPathLength = 512;
37
Kostya Serebryanybda64b42013-01-31 14:11:21 +000038extern const char *SanitizerToolName; // Can be changed by the tool.
Alexander Potapenko845b5752013-03-15 14:37:21 +000039extern uptr SanitizerVerbosity;
Kostya Serebryanybda64b42013-01-31 14:11:21 +000040
Kostya Serebryanyf22c6972012-11-23 15:38:49 +000041uptr GetPageSize();
42uptr GetPageSizeCached();
43uptr GetMmapGranularity();
Timur Iskhodzhanov4245f782013-07-16 09:47:39 +000044uptr GetMaxVirtualAddress();
Alexey Samsonov4b1f1032012-06-07 07:13:46 +000045// Threads
Dmitry Vyukov56faa552012-10-02 12:58:14 +000046uptr GetTid();
Alexey Samsonov70afb912012-06-15 06:37:34 +000047uptr GetThreadSelf();
Alexey Samsonovcf4d3a02012-06-07 07:32:00 +000048void GetThreadStackTopAndBottom(bool at_initialization, uptr *stack_top,
Alexey Samsonov4b1f1032012-06-07 07:13:46 +000049 uptr *stack_bottom);
Sergey Matveev954c6ef12013-05-07 14:41:43 +000050void GetThreadStackAndTls(bool main, uptr *stk_addr, uptr *stk_size,
51 uptr *tls_addr, uptr *tls_size);
Alexey Samsonov40d5b772012-06-06 16:15:07 +000052
53// Memory management
54void *MmapOrDie(uptr size, const char *mem_type);
Alexey Samsonovee072902012-06-06 09:26:25 +000055void UnmapOrDie(void *addr, uptr size);
Alexey Samsonovc70d1082012-06-14 14:42:58 +000056void *MmapFixedNoReserve(uptr fixed_addr, uptr size);
Kostya Serebryany98066282012-12-13 05:36:00 +000057void *MmapFixedOrDie(uptr fixed_addr, uptr size);
Alexey Samsonovc70d1082012-06-14 14:42:58 +000058void *Mprotect(uptr fixed_addr, uptr size);
Kostya Serebryany1e3d3872012-12-06 06:10:31 +000059// Map aligned chunk of address space; size and alignment are powers of two.
60void *MmapAlignedOrDie(uptr size, uptr alignment, const char *mem_type);
Alexey Samsonov40e51282012-06-15 07:29:14 +000061// Used to check if we can map shadow memory to a fixed location.
62bool MemoryRangeIsAvailable(uptr range_start, uptr range_end);
Kostya Serebryany6f604b52012-12-27 07:37:24 +000063void FlushUnneededShadowMemory(uptr addr, uptr size);
Alexey Samsonovc70d1082012-06-14 14:42:58 +000064
Alexey Samsonove6704ee2012-08-21 08:13:37 +000065// InternalScopedBuffer can be used instead of large stack arrays to
66// keep frame size low.
Kostya Serebryanyd0d96bf2012-08-29 08:40:36 +000067// FIXME: use InternalAlloc instead of MmapOrDie once
68// InternalAlloc is made libc-free.
Alexey Samsonove6704ee2012-08-21 08:13:37 +000069template<typename T>
70class InternalScopedBuffer {
71 public:
72 explicit InternalScopedBuffer(uptr cnt) {
73 cnt_ = cnt;
Kostya Serebryanyd0d96bf2012-08-29 08:40:36 +000074 ptr_ = (T*)MmapOrDie(cnt * sizeof(T), "InternalScopedBuffer");
Alexey Samsonove6704ee2012-08-21 08:13:37 +000075 }
76 ~InternalScopedBuffer() {
Kostya Serebryanyd0d96bf2012-08-29 08:40:36 +000077 UnmapOrDie(ptr_, cnt_ * sizeof(T));
Alexey Samsonove6704ee2012-08-21 08:13:37 +000078 }
79 T &operator[](uptr i) { return ptr_[i]; }
80 T *data() { return ptr_; }
81 uptr size() { return cnt_ * sizeof(T); }
82
83 private:
84 T *ptr_;
85 uptr cnt_;
86 // Disallow evil constructors.
87 InternalScopedBuffer(const InternalScopedBuffer&);
88 void operator=(const InternalScopedBuffer&);
89};
90
Alexey Samsonovd1d1a812012-08-27 14:51:36 +000091// Simple low-level (mmap-based) allocator for internal use. Doesn't have
92// constructor, so all instances of LowLevelAllocator should be
93// linker initialized.
Alexey Samsonovdc8d1f12012-08-27 09:30:58 +000094class LowLevelAllocator {
95 public:
Alexey Samsonovd1d1a812012-08-27 14:51:36 +000096 // Requires an external lock.
Alexey Samsonovdc8d1f12012-08-27 09:30:58 +000097 void *Allocate(uptr size);
98 private:
99 char *allocated_end_;
100 char *allocated_current_;
101};
102typedef void (*LowLevelAllocateCallback)(uptr ptr, uptr size);
103// Allows to register tool-specific callbacks for LowLevelAllocator.
104// Passing NULL removes the callback.
105void SetLowLevelAllocateCallback(LowLevelAllocateCallback callback);
106
Alexey Samsonovc70d1082012-06-14 14:42:58 +0000107// IO
Alexey Samsonov4b1f1032012-06-07 07:13:46 +0000108void RawWrite(const char *buffer);
Alexey Samsonov58358892012-11-02 15:18:34 +0000109bool PrintsToTty();
Sergey Matveevb9d34442013-09-03 13:31:03 +0000110// Caching version of PrintsToTty(). Not thread-safe.
111bool PrintsToTtyCached();
Alexey Samsonovd323f4e2012-06-06 13:58:39 +0000112void Printf(const char *format, ...);
Alexey Samsonovd323f4e2012-06-06 13:58:39 +0000113void Report(const char *format, ...);
Kostya Serebryanybb6f1652012-08-28 11:34:40 +0000114void SetPrintfAndReportCallback(void (*callback)(const char *));
Alexey Samsonov734aab42013-04-05 07:30:29 +0000115// Can be used to prevent mixing error reports from different sanitizers.
116extern StaticSpinMutex CommonSanitizerReportMutex;
Peter Collingbourne6d4a7d372013-05-17 16:17:19 +0000117void MaybeOpenReportFile();
118extern fd_t report_fd;
Reid Klecknerd483c072013-09-05 03:19:57 +0000119extern bool log_to_file;
120extern char report_path_prefix[4096];
121extern uptr report_fd_pid;
Alexey Samsonov51ae9832012-06-06 13:11:29 +0000122
Peter Collingbourne6f4be192013-05-08 14:43:49 +0000123uptr OpenFile(const char *filename, bool write);
Alexey Samsonovfe44fbd2012-06-07 05:38:26 +0000124// Opens the file 'file_name" and reads up to 'max_len' bytes.
125// The resulting buffer is mmaped and stored in '*buff'.
126// The size of the mmaped region is stored in '*buff_size',
127// Returns the number of read bytes or 0 if file can not be opened.
128uptr ReadFileToBuffer(const char *file_name, char **buff,
129 uptr *buff_size, uptr max_len);
Alexey Samsonov961276a2012-07-03 08:24:14 +0000130// Maps given file to virtual memory, and returns pointer to it
131// (or NULL if the mapping failes). Stores the size of mmaped region
132// in '*buff_size'.
133void *MapFileToMemory(const char *file_name, uptr *buff_size);
134
Alexey Samsonov97ca3062012-09-17 09:12:39 +0000135// OS
Alexey Samsonovae1e1712012-06-15 06:08:19 +0000136void DisableCoreDumper();
137void DumpProcessMap();
Alexey Samsonovae9b18b2012-11-09 14:45:30 +0000138bool FileExists(const char *filename);
Alexey Samsonov97ca3062012-09-17 09:12:39 +0000139const char *GetEnv(const char *name);
Alexey Samsonovf36c5a82013-04-23 12:49:12 +0000140bool SetEnv(const char *name, const char *value);
Alexey Samsonov97ca3062012-09-17 09:12:39 +0000141const char *GetPwd();
Alexey Samsonovde647dd2013-09-03 13:20:48 +0000142char *FindPathToBinary(const char *name);
Alexey Samsonov9211bd32013-02-18 07:17:12 +0000143u32 GetUid();
Alexey Samsonov97ca3062012-09-17 09:12:39 +0000144void ReExec();
145bool StackSizeIsUnlimited();
146void SetStackSizeLimitInBytes(uptr limit);
Alexander Potapenko1746f552012-12-10 13:10:40 +0000147void PrepareForSandboxing();
Alexey Samsonov97ca3062012-09-17 09:12:39 +0000148
Evgeniy Stepanov5697b582013-03-13 08:19:53 +0000149void InitTlsSize();
150uptr GetTlsSize();
151
Alexey Samsonov97ca3062012-09-17 09:12:39 +0000152// Other
Alexey Samsonov70afb912012-06-15 06:37:34 +0000153void SleepForSeconds(int seconds);
Alexey Samsonov58a3c582012-06-18 08:44:30 +0000154void SleepForMillis(int millis);
Dmitry Vyukov78693732013-03-21 06:24:31 +0000155u64 NanoTime();
Alexey Samsonov70afb912012-06-15 06:37:34 +0000156int Atexit(void (*function)(void));
Alexey Samsonove4a88982012-06-15 07:00:31 +0000157void SortArray(uptr *array, uptr size);
Alexey Samsonovae1e1712012-06-15 06:08:19 +0000158
Alexey Samsonov5c6b93b2012-09-11 09:44:48 +0000159// Exit
160void NORETURN Abort();
Alexey Samsonov5c6b93b2012-09-11 09:44:48 +0000161void NORETURN Die();
Timur Iskhodzhanoveee13912013-08-13 11:42:45 +0000162void NORETURN
Alexey Samsonov5c6b93b2012-09-11 09:44:48 +0000163CheckFailed(const char *file, int line, const char *cond, u64 v1, u64 v2);
164
Kostya Serebryany35f9e5e2012-12-07 11:27:24 +0000165// Set the name of the current thread to 'name', return true on succees.
166// The name may be truncated to a system-dependent limit.
167bool SanitizerSetThreadName(const char *name);
168// Get the name of the current thread (no more than max_len bytes),
169// return true on succees. name should have space for at least max_len+1 bytes.
170bool SanitizerGetThreadName(char *name, int max_len);
171
Alexey Samsonov5c6b93b2012-09-11 09:44:48 +0000172// Specific tools may override behavior of "Die" and "CheckFailed" functions
173// to do tool-specific job.
Sergey Matveevef7db732013-08-26 13:20:31 +0000174typedef void (*DieCallbackType)(void);
175void SetDieCallback(DieCallbackType);
176DieCallbackType GetDieCallback();
Alexey Samsonov5c6b93b2012-09-11 09:44:48 +0000177typedef void (*CheckFailedCallbackType)(const char *, int, const char *,
178 u64, u64);
179void SetCheckFailedCallback(CheckFailedCallbackType callback);
180
Kostya Serebryanyb4c2c5c2013-02-06 12:36:49 +0000181// Construct a one-line string like
182// SanitizerToolName: error_type file:line function
183// and call __sanitizer_report_error_summary on it.
184void ReportErrorSummary(const char *error_type, const char *file,
185 int line, const char *function);
186
Alexey Samsonove4a88982012-06-15 07:00:31 +0000187// Math
Dmitry Vyukove979c542013-06-10 10:02:02 +0000188#if SANITIZER_WINDOWS && !defined(__clang__) && !defined(__GNUC__)
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000189extern "C" {
190unsigned char _BitScanForward(unsigned long *index, unsigned long mask); // NOLINT
191unsigned char _BitScanReverse(unsigned long *index, unsigned long mask); // NOLINT
192#if defined(_WIN64)
193unsigned char _BitScanForward64(unsigned long *index, unsigned __int64 mask); // NOLINT
194unsigned char _BitScanReverse64(unsigned long *index, unsigned __int64 mask); // NOLINT
195#endif
196}
197#endif
198
199INLINE uptr MostSignificantSetBitIndex(uptr x) {
Kostya Serebryany459df6f2013-02-26 12:59:06 +0000200 CHECK_NE(x, 0U);
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000201 unsigned long up; // NOLINT
Dmitry Vyukove979c542013-06-10 10:02:02 +0000202#if !SANITIZER_WINDOWS || defined(__clang__) || defined(__GNUC__)
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000203 up = SANITIZER_WORDSIZE - 1 - __builtin_clzl(x);
204#elif defined(_WIN64)
205 _BitScanReverse64(&up, x);
206#else
207 _BitScanReverse(&up, x);
208#endif
209 return up;
210}
211
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000212INLINE bool IsPowerOfTwo(uptr x) {
Alexey Samsonovee072902012-06-06 09:26:25 +0000213 return (x & (x - 1)) == 0;
214}
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000215
216INLINE uptr RoundUpToPowerOfTwo(uptr size) {
217 CHECK(size);
218 if (IsPowerOfTwo(size)) return size;
219
220 uptr up = MostSignificantSetBitIndex(size);
221 CHECK(size < (1ULL << (up + 1)));
222 CHECK(size > (1ULL << up));
223 return 1UL << (up + 1);
224}
225
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000226INLINE uptr RoundUpTo(uptr size, uptr boundary) {
Alexey Samsonove4a88982012-06-15 07:00:31 +0000227 CHECK(IsPowerOfTwo(boundary));
Alexey Samsonovee072902012-06-06 09:26:25 +0000228 return (size + boundary - 1) & ~(boundary - 1);
229}
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000230
Kostya Serebryany7dfb1682012-12-14 12:15:09 +0000231INLINE uptr RoundDownTo(uptr x, uptr boundary) {
232 return x & ~(boundary - 1);
233}
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000234
Kostya Serebryany90a59fa2012-12-11 14:41:31 +0000235INLINE bool IsAligned(uptr a, uptr alignment) {
236 return (a & (alignment - 1)) == 0;
237}
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000238
239INLINE uptr Log2(uptr x) {
240 CHECK(IsPowerOfTwo(x));
Dmitry Vyukove979c542013-06-10 10:02:02 +0000241#if !SANITIZER_WINDOWS || defined(__clang__) || defined(__GNUC__)
Timur Iskhodzhanov659bca52013-02-08 11:45:04 +0000242 return __builtin_ctzl(x);
243#elif defined(_WIN64)
244 unsigned long ret; // NOLINT
245 _BitScanForward64(&ret, x);
246 return ret;
247#else
248 unsigned long ret; // NOLINT
249 _BitScanForward(&ret, x);
250 return ret;
251#endif
252}
253
Alexey Samsonovd77fbba2012-07-16 11:27:17 +0000254// Don't use std::min, std::max or std::swap, to minimize dependency
255// on libstdc++.
Alexey Samsonove4a88982012-06-15 07:00:31 +0000256template<class T> T Min(T a, T b) { return a < b ? a : b; }
257template<class T> T Max(T a, T b) { return a > b ? a : b; }
Alexey Samsonovd77fbba2012-07-16 11:27:17 +0000258template<class T> void Swap(T& a, T& b) {
259 T tmp = a;
260 a = b;
261 b = tmp;
262}
Alexey Samsonovbc3a7e32012-06-06 06:47:26 +0000263
Alexey Samsonov156958d2012-06-15 13:09:52 +0000264// Char handling
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000265INLINE bool IsSpace(int c) {
Alexey Samsonov156958d2012-06-15 13:09:52 +0000266 return (c == ' ') || (c == '\n') || (c == '\t') ||
267 (c == '\f') || (c == '\r') || (c == '\v');
268}
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000269INLINE bool IsDigit(int c) {
Alexey Samsonov156958d2012-06-15 13:09:52 +0000270 return (c >= '0') && (c <= '9');
271}
Dmitry Vyukov03d32ec2012-07-05 16:18:28 +0000272INLINE int ToLower(int c) {
Alexey Samsonov156958d2012-06-15 13:09:52 +0000273 return (c >= 'A' && c <= 'Z') ? (c + 'a' - 'A') : c;
274}
275
Kostya Serebryany734f1eb2012-11-21 12:38:58 +0000276#if SANITIZER_WORDSIZE == 64
Kostya Serebryanyc0bbfbf2012-06-06 16:33:46 +0000277# define FIRST_32_SECOND_64(a, b) (b)
278#else
279# define FIRST_32_SECOND_64(a, b) (a)
280#endif
281
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000282// A low-level vector based on mmap. May incur a significant memory overhead for
283// small vectors.
284// WARNING: The current implementation supports only POD types.
285template<typename T>
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000286class InternalMmapVector {
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000287 public:
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000288 explicit InternalMmapVector(uptr initial_capacity) {
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000289 CHECK_GT(initial_capacity, 0);
290 capacity_ = initial_capacity;
291 size_ = 0;
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000292 data_ = (T *)MmapOrDie(capacity_ * sizeof(T), "InternalMmapVector");
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000293 }
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000294 ~InternalMmapVector() {
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000295 UnmapOrDie(data_, capacity_ * sizeof(T));
296 }
297 T &operator[](uptr i) {
Alexey Samsonov703a9872013-03-29 08:03:01 +0000298 CHECK_LT(i, size_);
Alexey Samsonovcfe56d42013-03-28 15:37:11 +0000299 return data_[i];
300 }
301 const T &operator[](uptr i) const {
Alexey Samsonov703a9872013-03-29 08:03:01 +0000302 CHECK_LT(i, size_);
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000303 return data_[i];
304 }
305 void push_back(const T &element) {
306 CHECK_LE(size_, capacity_);
307 if (size_ == capacity_) {
308 uptr new_capacity = RoundUpToPowerOfTwo(size_ + 1);
309 Resize(new_capacity);
310 }
311 data_[size_++] = element;
312 }
Alexey Samsonov434dde92013-03-05 11:58:25 +0000313 T &back() {
314 CHECK_GT(size_, 0);
315 return data_[size_ - 1];
316 }
317 void pop_back() {
318 CHECK_GT(size_, 0);
319 size_--;
320 }
Alexey Samsonovcfe56d42013-03-28 15:37:11 +0000321 uptr size() const {
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000322 return size_;
323 }
Alexander Potapenko401bed02013-04-01 13:55:34 +0000324 const T *data() const {
325 return data_;
326 }
327 uptr capacity() const {
328 return capacity_;
329 }
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000330
331 private:
332 void Resize(uptr new_capacity) {
333 CHECK_GT(new_capacity, 0);
334 CHECK_LE(size_, new_capacity);
335 T *new_data = (T *)MmapOrDie(new_capacity * sizeof(T),
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000336 "InternalMmapVector");
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000337 internal_memcpy(new_data, data_, size_ * sizeof(T));
338 T *old_data = data_;
339 data_ = new_data;
340 UnmapOrDie(old_data, capacity_ * sizeof(T));
341 capacity_ = new_capacity;
342 }
343 // Disallow evil constructors.
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000344 InternalMmapVector(const InternalMmapVector&);
345 void operator=(const InternalMmapVector&);
Kostya Serebryanya8cfb902013-02-26 13:30:27 +0000346
347 T *data_;
348 uptr capacity_;
349 uptr size_;
350};
Sergey Matveevd9da20f2013-05-13 11:58:48 +0000351
Alexey Samsonovb0d92b32013-06-14 09:59:40 +0000352// HeapSort for arrays and InternalMmapVector.
Sergey Matveevd9da20f2013-05-13 11:58:48 +0000353template<class Container, class Compare>
354void InternalSort(Container *v, uptr size, Compare comp) {
355 if (size < 2)
356 return;
357 // Stage 1: insert elements to the heap.
358 for (uptr i = 1; i < size; i++) {
359 uptr j, p;
360 for (j = i; j > 0; j = p) {
361 p = (j - 1) / 2;
362 if (comp((*v)[p], (*v)[j]))
363 Swap((*v)[j], (*v)[p]);
364 else
365 break;
366 }
367 }
368 // Stage 2: swap largest element with the last one,
369 // and sink the new top.
370 for (uptr i = size - 1; i > 0; i--) {
371 Swap((*v)[0], (*v)[i]);
372 uptr j, max_ind;
373 for (j = 0; j < i; j = max_ind) {
374 uptr left = 2 * j + 1;
375 uptr right = 2 * j + 2;
376 max_ind = j;
377 if (left < i && comp((*v)[max_ind], (*v)[left]))
378 max_ind = left;
379 if (right < i && comp((*v)[max_ind], (*v)[right]))
380 max_ind = right;
381 if (max_ind != j)
382 Swap((*v)[j], (*v)[max_ind]);
383 else
384 break;
385 }
386 }
387}
388
Sergey Matveev9e3e8022013-08-26 13:24:43 +0000389template<class Container, class Value, class Compare>
390uptr InternalBinarySearch(const Container &v, uptr first, uptr last,
391 const Value &val, Compare comp) {
392 uptr not_found = last + 1;
393 while (last >= first) {
394 uptr mid = (first + last) / 2;
395 if (comp(v[mid], val))
396 first = mid + 1;
397 else if (comp(val, v[mid]))
398 last = mid - 1;
399 else
400 return mid;
401 }
402 return not_found;
403}
404
Alexey Samsonovbc3a7e32012-06-06 06:47:26 +0000405} // namespace __sanitizer
406
407#endif // SANITIZER_COMMON_H