Displaying 6 results from an estimated 6 matches for "programpoint".
2013 Feb 16
0
[LLVMdev] [cfe-dev] UB in TypeLoc casting
On Feb 11, 2013, at 12:02 PM, David Blaikie <dblaikie at gmail.com> wrote:
> Beyond that, though, I've hit one hierarchy in the Static Analyzer
> that does this as well: ProgramPoint. On IRC Jordan Rose mentioned
> that there's another more pervasive use of this pattern in the Static
> Analyzer, the SVal hierarchy.
>
> So, Ted, how objectionable would it be for me to introduce something
> like (names subject to adjustment):
>
> template<typename T&...
2013 Feb 11
3
[LLVMdev] [cfe-dev] UB in TypeLoc casting
...been prototyping a fix to TypeLoc specifically, hit some hiccups in
ASTMatchers (probably surmountable - Manuel helped me with r174862
(might need one other change there)) but otherwise seems achievable.
Beyond that, though, I've hit one hierarchy in the Static Analyzer
that does this as well: ProgramPoint. On IRC Jordan Rose mentioned
that there's another more pervasive use of this pattern in the Static
Analyzer, the SVal hierarchy.
So, Ted, how objectionable would it be for me to introduce something
like (names subject to adjustment):
template<typename T>
T SVal::castAs();
template<...
2012 Sep 09
2
[LLVMdev] : troubles during compiling
...er/Core/../../../include/clang/AST/Decl.h:18,
from
/media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/Analysis/AnalysisContext.h:18,
from
/media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/Analysis/ProgramPoint.h:18,
from
/media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h:18,
from
/media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/PathDiagnostic.cpp:14:
/media/data/dev/llvm/llvm/...
2012 Sep 09
0
[LLVMdev] : troubles during compiling
...de/clang/AST/Decl.h:18,
> from
> /media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/Analysis/AnalysisContext.h:18,
> from
> /media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/Analysis/ProgramPoint.h:18,
> from
> /media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/../../../include/clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h:18,
> from
> /media/data/dev/llvm/llvm/tools/clang/lib/StaticAnalyzer/Core/PathDiagnostic.cpp:14:
>...
2012 Dec 05
0
[LLVMdev] [cfe-dev] UB in TypeLoc casting
On Thu, Nov 29, 2012 at 8:16 PM, Richard Smith <richard at metafoo.co.uk> wrote:
> On Thu, Nov 29, 2012 at 7:43 PM, Eli Friedman <eli.friedman at gmail.com>
> wrote:
>>
>> On Thu, Nov 29, 2012 at 3:49 PM, David Blaikie <dblaikie at gmail.com> wrote:
>> > Moving to LLVM dev to discuss the possibility of extending the cast
>> > infrastructure to
2012 Nov 30
3
[LLVMdev] [cfe-dev] UB in TypeLoc casting
On Thu, Nov 29, 2012 at 7:43 PM, Eli Friedman <eli.friedman at gmail.com>wrote:
> On Thu, Nov 29, 2012 at 3:49 PM, David Blaikie <dblaikie at gmail.com> wrote:
> > Moving to LLVM dev to discuss the possibility of extending the cast
> > infrastructure to handle this.
> >
> > On Tue, Nov 20, 2012 at 5:51 PM, John McCall <rjmccall at apple.com> wrote: