ASDenysPetrov added a comment.
@NoQ wrote:
> IIUC this is roughly the first time ever when `SValBuilder` starts emitting
> symbols of float type. This is a huge change with an almost unlimited scope
> of unexpected side effects and very rigorous testing is required to
> understand the actual e
NoQ added a comment.
> tiny patch
IIUC this is roughly the first time ever when `SValBuilder` starts emitting
symbols of float type. This is a huge change with an almost unlimited scope of
unexpected side effects and very rigorous testing is required to understand the
actual effect of this pat
ASDenysPetrov added a comment.
This is just a note for me to correctly rebase it in the future:
https://reviews.llvm.org/D96090?vs=321602&id=322422#toc
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D95799/new/
https://reviews.llvm.org/D95799
_
steakhal added a comment.
void clang_analyzer_dumpi(int);
void clang_analyzer_dumpf(float);
void clang_analyzer_dumpip(int*);
void clang_analyzer_dumpfp(float*);
void SymbolCast_of_float_type_aux(int *p) {
*p += 1;
clang_analyzer_dumpi(*p); // (Previously): Unknown -> (Now):
ASDenysPetrov updated this revision to Diff 321585.
ASDenysPetrov added a comment.
Updated. Moved comments as well.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D95799/new/
https://reviews.llvm.org/D95799
Files:
clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
clang/lib/StaticAnalyzer
ASDenysPetrov added a comment.
Herald added a subscriber: nullptr.cpp.
Hi, folk! Please, review this tiny patch.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D95799/new/
https://reviews.llvm.org/D95799
_
ASDenysPetrov created this revision.
ASDenysPetrov added reviewers: NoQ, xazax.hun, baloghadamsoftware, steakhal,
vsavchenko.
ASDenysPetrov added a project: clang.
Herald added subscribers: martong, Charusso, dkrupp, donat.nagy, Szelethus,
mikhail.ramalho, a.sidorin, rnkovacs, szepet.
ASDenysPetr
