[PATCH] D81678: Introduce frozen attribute at call sites for stricter poison analysis
Evgenii Stepanov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 23 15:05:12 PDT 2020
eugenis added a comment.
>> Also, what's the plan to detect these cases in ubsan?
>
> I don't think this has any practical impact on our goals with sanitizers. We should detect undefined behavior before it gets to the point of actually passing or returning an undef or poison value.
MSan will take advantage of this by validating no-undef at runtime before the function call. This will detect more bugs, as well as detect existing bugs earlier, making them easier to reason about.
I'm not sure how we could use this information in ubsan.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D81678/new/
https://reviews.llvm.org/D81678
More information about the cfe-commits
mailing list