diff options
| author | Robin Gareus <robin@gareus.org> | 2019-08-23 05:15:17 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2019-08-23 05:15:17 +0200 |
| commit | 9836bd786f986af9f124c2ba8a95c54c5dad2f2f (patch) | |
| tree | bd7f15e741ffd06421ac3fb46d36d81a89f0130f /libs/ardour/audioengine.cc | |
| parent | e5927d689cb8800b4663aef29521f79b72c74d71 (diff) | |
Some hints for clang static analysis
Diffstat (limited to 'libs/ardour/audioengine.cc')
| -rw-r--r-- | libs/ardour/audioengine.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ardour/audioengine.cc b/libs/ardour/audioengine.cc index 8c53fac0d2..e6961af875 100644 --- a/libs/ardour/audioengine.cc +++ b/libs/ardour/audioengine.cc @@ -356,6 +356,7 @@ AudioEngine::process_callback (pframes_t nframes) */ if (session_removal_countdown <= nframes) { + assert (_session); _session->midi_panic (); } |