martong marked 3 inline comments as done.
martong added inline comments.
Comment at: clang/lib/StaticAnalyzer/Frontend/FrontendActions.cpp:30
+ // markers which are used by some LLVM analysis (e.g. AliasAnalysis).
+ CGO.OptimizationLevel = 2; // -O2
+
xazax.hun
martong updated this revision to Diff 284760.
martong added a comment.
- Use /// comments in IRContext.h
- Conjure the return value even if the funciton is pure
- Set all CodeGen options to the default (except the opt level)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
http
martong updated this revision to Diff 284738.
martong added a comment.
- Use custom, CSA specific pipeline
- Rename runOptimizerPipeline to runPipeline
- Add unittest for IRContext
- Add BuildCodeGen to CSA's FrontendAction.h
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
h
xazax.hun added inline comments.
Comment at: clang/lib/StaticAnalyzer/Frontend/FrontendActions.cpp:30
+ // markers which are used by some LLVM analysis (e.g. AliasAnalysis).
+ CGO.OptimizationLevel = 2; // -O2
+
martong wrote:
> TODO overwrite ALL optimization
martong added inline comments.
Comment at: clang/lib/StaticAnalyzer/Frontend/FrontendActions.cpp:30
+ // markers which are used by some LLVM analysis (e.g. AliasAnalysis).
+ CGO.OptimizationLevel = 2; // -O2
+
TODO overwrite ALL optimization related config.
Ar
martong added inline comments.
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:720
+ F->getAttributes().hasFnAttribute(llvm::Attribute::ReadOnly))
+return;
+
NoQ wrote:
> Before i forget: you still need to conjure th