diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2014-02-13 09:49:17 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2014-02-13 09:49:17 +0000 |
| commit | 1bdcf39d7b55642ae26bc32ffed1fdc36cfc9d56 (patch) | |
| tree | 470682ecdb84c382f5181e4bbedb82ff4bf1db8e | |
| parent | bb5a512f595f95bfade58077f2798e64bdb14987 (diff) | |
| download | ChibiOS-1bdcf39d7b55642ae26bc32ffed1fdc36cfc9d56.tar.gz ChibiOS-1bdcf39d7b55642ae26bc32ffed1fdc36cfc9d56.tar.bz2 ChibiOS-1bdcf39d7b55642ae26bc32ffed1fdc36cfc9d56.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/branches/kernel_3_dev@6710 35acf78f-673a-0410-8e92-d51de3d6d3f4
| -rw-r--r-- | os/rt/include/chschd.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/os/rt/include/chschd.h b/os/rt/include/chschd.h index fe85f76cb..a89c49161 100644 --- a/os/rt/include/chschd.h +++ b/os/rt/include/chschd.h @@ -333,8 +333,10 @@ typedef struct ch_system { * @brief Pointer to the panic message.
* @details This pointer is meant to be accessed through the debugger, it is
* written once and then the system is halted.
+ * @note Accesses to this pointer must never be optimized out so the
+ * field itself is declared volatile.
*/
- const char *dbg_panic_msg;
+ const char * volatile dbg_panic_msg;
#endif
#if CH_DBG_SYSTEM_STATE_CHECK || defined(__DOXYGEN__)
/**
|