]> granicus.if.org Git - clang/commit
[analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr.
authorArtem Dergachev <artem.dergachev@gmail.com>
Sat, 10 Feb 2018 00:55:49 +0000 (00:55 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Sat, 10 Feb 2018 00:55:49 +0000 (00:55 +0000)
commitac633fb5c4b46f1e716a20fd1c0198035ff47217
treed4ea39f45e4d0d2e700059b8c7d347523158cd5d
parent6e050d9bef4498d98610a01e548dce3e8814bb0d
[analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr.

This expression may or may not be evaluated in compile time, so tracking the
result symbol is of potential interest. However, run-time offsetof is not yet
supported by the analyzer, so for now this callback is only there to assist
future implementation.

Patch by Henry Wong!

Differential Revision: https://reviews.llvm.org/D42300

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@324790 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/AnalysisOrderChecker.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/Inputs/system-header-simulator.h
test/Analysis/offsetofexpr-callback.c [new file with mode: 0644]