Merge pull request #439 from rianquinn/verify_update

Verify Source Update
Bareflank · Mar 22, 2017 · f6d2aa1 · f6d2aa1
2 parents 73bf34b + 0136613
commit f6d2aa1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/scripts/verify_source.sh b/tools/scripts/verify_source.sh
@@ -195,7 +195,7 @@ fi
 if [[ -d hyperkernel ]]; then
     pushd hyperkernel > /dev/null
     header $PWD
-    run_clang_tidy "clan*,-clang-analyzer-alpha.deadcode.UnreachableCode"
+    run_clang_tidy "clan*,-clang-analyzer-alpha.deadcode.UnreachableCode,-clang-analyzer-alpha.core.CastToStruct"
     run_clang_tidy "cert*,-clang-analyzer*,-cert-err60-cpp"
     run_clang_tidy "misc*,-clang-analyzer*,-misc-noexcept-move-constructor"
     run_clang_tidy "perf*,-clang-analyzer*"