projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5365b6d) | patch
Added code to verify that llvm.readio's pointer argument returns something
authorJohn Criswell <criswell@uiuc.edu>
Wed, 14 Apr 2004 14:49:36 +0000 (14:49 +0000)
committerJohn Criswell <criswell@uiuc.edu>
Wed, 14 Apr 2004 14:49:36 +0000 (14:49 +0000)
commit17f64258cf33f4a2900299238758a746d70ecc14
treef117ac0ab3450e0f6b43955a961a9541fa7e42d7tree | snapshot
parent5365b6d143fe5f1463a512ba98be9ce348046de6commit | diff
Added code to verify that llvm.readio's pointer argument returns something
that matches its return type.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12944 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors