diff options
| author | Pavel Skripkin <paskripkin@gmail.com> | 2024-09-26 15:45:08 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-26 15:45:08 +0300 |
| commit | 9abf6d3506c7289e062836cb9f70a9eaa56bcb68 (patch) | |
| tree | 71a16d521b2bdc6ca12052e0e604f52bb993bfec /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 439dcfafc5af3e018a80e8112bc515249e1cbfbc (diff) | |
| download | llvm-9abf6d3506c7289e062836cb9f70a9eaa56bcb68.zip llvm-9abf6d3506c7289e062836cb9f70a9eaa56bcb68.tar.gz llvm-9abf6d3506c7289e062836cb9f70a9eaa56bcb68.tar.bz2 | |
[analyzer] [MallocChecker] Assume functions with `ownership_returns` return unknown memory (#110115)
There is no good way to tell CSA if function with `ownership_returns`
attribute returns initialized or not initialized memory. To make FP rate
lower, let's assume that memory returned from such functions is unknown
and do not reason about it.
In future it would be great to add a way to annotate such behavior
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions