Changeset ef5ef56 for src/include/cassert

Timestamp:

May 22, 2019, 5:21:44 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

5902625, 893e106

Parents:

dff6452 (diff), 8abee136 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/include/cassert (modified) (1 diff)

src/include/cassert

@@ -44 +44 @@
 
 template<typename T, typename U>
-static inline T strict_dynamic_cast( const U & src ) {
+static inline __attribute__((nonnull)) T strict_dynamic_cast( const U & src ) {
+        assert(src);
         T ret = dynamic_cast<T>(src);
         assertf(ret, "%s", toString(src).c_str());