diff options
| author |  Rasmus Munk Larsen <rmlarsen@google.com> | 2020-09-15 01:18:55 +0000 |
|---|---|---|
| committer | Rasmus Munk Larsen <rmlarsen@google.com> | 2020-09-15 01:18:55 +0000 |
| commit | e4fb0ddf78b06bb34c2a33d2e0507ecb0420a2c9 (patch) | |
| tree | f4bbd72472f1c66258bc7fec0de09c102e5fb442 /Eigen/src/Core/util/Memory.h | |
| parent | 65e400896bd5d6e62263d8262f6c7e1644f83298 (diff) | |
Add EIGEN_UNUSED_VARIABLE to unused variable in Memory.h
Diffstat (limited to 'Eigen/src/Core/util/Memory.h')
| -rw-r--r-- | Eigen/src/Core/util/Memory.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Eigen/src/Core/util/Memory.h b/Eigen/src/Core/util/Memory.h index 0b9589ce2..258c39172 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h @@ -83,6 +83,7 @@ inline void throw_std_bad_alloc() new int[huge]; #else void* unused = ::operator new(huge); + EIGEN_UNUSED_VARIABLE(unused); #endif #endif } |