add coverity badge to README.md

suxue · Jul 29, 2014 · 6dab1a9 · 6dab1a9
1 parent 5077692
commit 6dab1a9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,6 @@
 [![Build Status](https://travis-ci.org/suxue/luamm.svg?branch=dev)](https://travis-ci.org/suxue/luamm)
 [![Coverage Status](https://coveralls.io/repos/suxue/luamm/badge.png?branch=dev)](https://coveralls.io/r/suxue/luamm?branch=dev)
+[![Coverity](https://scan.coverity.com/projects/2665/badge.svg)](https://scan.coverity.com/projects/2665)
 
 Dependencies
 ------------

diff --git a/doc b/doc
diff --git a/luamm.hpp b/luamm.hpp
@@ -1091,6 +1091,8 @@ class State {
     Class_<Class> class_(const std::string& name) {
         return Class_<Class>(name, *this);
     }
+
+    virtual ~State() {}
 };
 
 namespace detail {
@@ -1284,7 +1286,7 @@ inline State::State(const State& o) : ptr_(o.ptr_) {}
 class NewState : public State {
 public:
     NewState();
-    ~NewState();
+    virtual ~NewState();
 };
 
 inline State::State(lua_State *p) : ptr_(p) { }