False positive detection of USE_AFTER_DELETE in loop

[conversy]

Hi,

this error :

src/core/execution/graph.cpp:175: error: Use After Delete
  accessing `v` that was invalidated by `delete` on line 175. 
  173.     /* delete vertices from _vertices and clear */
  174.     for (auto* v : _vertices) {
  175.         delete v;
               ^
  176.     }
  177.     _vertices.clear ();


Found 1 issue
          Issue Type(ISSUED_TYPE_ID): #
  Use After Delete(USE_AFTER_DELETE): 1

seems a false positive (?), or I missed something very obvious... Same error if I use an iterator-based loop instead of a range-based loop.

Best regards.