[PATCH] D103440: [WIP][analyzer] Introduce range-based reasoning for addition operator

Manas Gupta via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 20 15:18:49 PDT 2021

Previous message: [clang] 5f55761 - [clang] Fix the capitalization of the DarwinSDKInfoTest unittest filename to avoid case-sensitive FS build errors
Next message: [PATCH] D103440: [WIP][analyzer] Introduce range-based reasoning for addition operator
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

manas added a comment.

Here is the proof of correctness of the algorithm using Z3: https://gist.github.com/weirdsmiley/ad6a9dbf3370e96d29f9e90068931d25


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103440

Previous message: [clang] 5f55761 - [clang] Fix the capitalization of the DarwinSDKInfoTest unittest filename to avoid case-sensitive FS build errors
Next message: [PATCH] D103440: [WIP][analyzer] Introduce range-based reasoning for addition operator
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list