]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81120c2) | patch
Rearrange a pointer check to satisfy coverity. 5742/head
authorDavid Wells <wellsd2@rpi.edu>
Tue, 16 Jan 2018 19:11:19 +0000 (14:11 -0500)
committerDavid Wells <wellsd2@rpi.edu>
Wed, 17 Jan 2018 16:32:41 +0000 (11:32 -0500)
commitfb1e395e9f34de8d165e87e78de05e245d61f12f
tree7f75043e1d3c47190878a38ccdb6f007fce0d9aftree | snapshot
parent81120c283eab77110beabab606e7828bf8631619commit | diff
Rearrange a pointer check to satisfy coverity.

Coverity (the static analysis program) raises an issue with the way we
check the result of a dynamic_cast. This commit rearranges things so
that we cannot enter the relevant block unless dynamic_cast succeeds,
regardless of the assertion.
source/fe/fe_system.cc diff | blob | history
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.