[PATCH] D124758: [analyzer] Implement assume in terms of assumeDual

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

`infeasible-crash.c` fails both on arm and windows. The reasion is the incompatible `memmove` declaration. I am to fix this ASAP.

Armv7

  error: 'warning' diagnostics seen but not expected: 
    File /home/tcwg-buildbot/worker/clang-armv7-quick/llvm/clang/test/Analysis/infeasible-crash.c Line 9: incompatible redeclaration of library function 'memmove'
  error: 'note' diagnostics seen but not expected: 
    File /home/tcwg-buildbot/worker/clang-armv7-quick/llvm/clang/test/Analysis/infeasible-crash.c Line 9: 'memmove' is a builtin with type 'void *(void *, const void *, unsigned int)'
  2 errors generated.

windows x64:

  error: 'warning' diagnostics seen but not expected: 
    File C:\b\slave\clang-x64-windows-msvc\llvm-project\clang\test\Analysis\infeasible-crash.c Line 9: incompatible redeclaration of library function 'memmove'
  error: 'note' diagnostics seen but not expected: 
    File C:\b\slave\clang-x64-windows-msvc\llvm-project\clang\test\Analysis\infeasible-crash.c Line 9: 'memmove' is a builtin with type 'void *(void *, const void *, unsigned long long)'
  2 errors generated.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D124758/new/

https://reviews.llvm.org/D124758