Perform memory regression test in Travis/Ubuntu/cmake/g++ build

The CMake build configuration is now set to Debug to obtain usable function call
names in the heap trace. As this yields different and larger binaries, ccache is
disabled for this stage.

Author: tautschnig

.travis.yml

@@ -182,11 +182,10 @@ jobs:
         - CCACHE_CPP2=yes
       script: echo "Not running any tests for a debug build."
 
-    # cmake build using g++-5
+    # cmake build using g++-5 + memory regression test
     - stage: Test different OS/CXX/Flags
       os: linux
       compiler: gcc
-      cache: ccache
       env:
         - BUILD_SYSTEM=cmake
       addons:
@@ -195,14 +194,22 @@ jobs:
             - ubuntu-toolchain-r-test
           packages:
             - g++-5
+            - valgrind
       before_install:
         - mkdir bin ; ln -s /usr/bin/gcc-5 bin/gcc
       install:
-        - ccache -z
-        - ccache --max-size=1G
-        - cmake -H. -Bbuild '-DCMAKE_BUILD_TYPE=Release'  '-DCMAKE_CXX_COMPILER=/usr/bin/g++-5'
+        - cmake -H. -Bbuild '-DCMAKE_BUILD_TYPE=Debug'  '-DCMAKE_CXX_COMPILER=/usr/bin/g++-5'
         - cmake --build build -- -j4
-      script: (cd build; ctest -V -L CORE -j2)
+      env:
+        - NAME="memory-regression"
+      script:
+        - cd build && ctest -V -L CORE -j2
+        - valgrind --tool=massif --massif-out-file=massif.out
+          bin/cbmc ../regression/cbmc/address_space_size_limit1/test.c
+          --no-simplify --unwind 300 --object-bits 8
+        - if ! ../scripts/memory-test/memory.py
+          -r ../scripts/memory-test/massif.ref.x86-64 massif.out ; then
+          echo "Dumping massif.out" ; cat massif.out ; exit 1 ; fi
 
     - stage: Test different OS/CXX/Flags
       os: osx